79 search results - page 14 / 16 » A Genetic Programming Approach to Automated Test Generation ... |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
DAGSTUHL
2004
13 years 8 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
ICECCS
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
CAV
2011
Springer
12 years 11 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 ...
BIOINFORMATICS
2005
13 years 7 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...