5159 search results - page 138 / 1032 » Structural Testing of Executables |
117
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A serious defect with the Halpern-Pearl (HP) definition of causality is repaired by combining a theory of causality with a theory of defaults. In addition, it is shown that (despi...
178
click to vote
DOCENG
2009
ACM
16 years 26 days ago
2009
ACM
In order to evaluate the performance of information retrieval and extraction algorithms, we need test collections. A test collection consists of a set of documents, a clearly form...
165
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
202
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
156
click to vote
SFP
2003
15 years 7 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...