1414 search results - page 177 / 283 » Automated Metamorphic Testing |
139
click to vote
JPDC
2010
15 years 25 days ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...
104
Voted
LICS
2010
IEEE
15 years 24 days ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
140
click to vote
RE
2010
Springer
15 years 23 days ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
127
Voted
DLOG
2010
15 years 12 days ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
134
click to vote
LICS
2010
IEEE
15 years 8 days ago
2010
IEEE
We prove that fixed-point logic with counting captures polynomial time on all classes of graphs with excluded minors. That is, for every class C of graphs such that some graph H is...