291 search results - page 12 / 59 » Software-Test |
142
click to vote
RISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
315
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
127
click to vote
ECBS
2007
IEEE
16 years 6 days ago
2007
IEEE
Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can ...
