8398 search results - page 412 / 1680 » Optimal Software Testing |
167
click to vote
NSDI
2008
15 years 9 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
207
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
174
click to vote
ECLIPSE
2006
ACM
16 years 24 days ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
200
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
176
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...