3481 search results - page 168 / 697 » A New Approach to Component Testing |
111
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
We demonstrate a new approach to refactoring which involves the decomposition of familiar high-level refactorings such as Extract method into their components. By understanding al...
145
click to vote
JSS
2011
14 years 6 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
115
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
134
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
119
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...