8398 search results - page 315 / 1680 » Optimal Software Testing |
174
click to vote
VLSID
2009
IEEE
16 years 7 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 ...
189
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents an infrastructure to test the functionality of the specific architectures output by a highlevel compiler targeting dynamically reconfigurable hardware. It resu...
179
click to vote
STVR
2002
15 years 6 months ago
2002
Test-suite reduction techniques attempt to reduce the costs of saving and reusing test cases during software maintenance by eliminating redundant test cases from test suites. A po...
169
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
152
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...