197 search results - page 27 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
95
Voted
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
84
Voted
PR
2006
15 years 9 days ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
97
Voted
FM
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
116
click to vote
WCRE
2002
IEEE
15 years 5 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...