3090 search results - page 171 / 618 » On Testing Answer-Set Programs |
151
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
157
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
183
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
181
click to vote
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
134
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...