12745 search results - page 160 / 2549 » Automating test automation |
139
Voted
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
286
click to vote
LPAR
2012
Springer
14 years 16 days ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
147
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
133
Voted
VLSID
2005
IEEE
15 years 10 months ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...