913 search results - page 2 / 183 » An Optimal Algorithm for the Automatic Generation of March T... |
ISQED
2002
IEEE
13 years 10 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
GECCO
2009
Springer
13 years 10 months ago
2009
Springer
TACAS
2009
Springer
14 years 1 days ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
VLSID
2009
IEEE
14 years 5 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
GECCO
2003
Springer
13 years 10 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...