5159 search results - page 148 / 1032 » Structural Testing of Executables |
162
click to vote
KBSE
2008
IEEE
16 years 23 days ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
174
click to vote
PTS
2010
15 years 4 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
190
click to vote
ENTCS
2010
15 years 3 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
177
click to vote
ISSRE
2005
IEEE
15 years 12 months ago
2005
IEEE
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
139
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...