291 search results - page 12 / 59 » Software-Test |
RISE
2005
Springer
14 years 3 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...
ICLP
2009
Springer
14 years 10 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...
ICEIS
2008
IEEE
14 years 4 months ago
2008
IEEE
ECBS
2007
IEEE
14 years 4 months 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 ...
PROFES
2007
Springer
14 years 4 months ago
2007
Springer
