3090 search results - page 80 / 618 » On Testing Answer-Set Programs |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
ASPDAC
1998
ACM
14 years 2 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...