498 search results - page 33 / 100 » Automated Software Test Data Generation for Complex Programs |
DAC
2000
ACM
14 years 8 months ago
2000
ACM
At-speed testing of GHz processors using external testers may not be technically and economically feasible. Hence, there is an emerging need for low-cost, high-quality self-test m...
SIGSOFT
1998
ACM
14 years 1 days ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
QSIC
2003
IEEE
14 years 1 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
SADFE
2009
IEEE
14 years 2 months ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...