8398 search results - page 111 / 1680 » Optimal Software Testing |
152
Voted
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
109
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
ERCIM
2008
15 years 2 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
117
Voted
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann