3090 search results - page 124 / 618 » On Testing Answer-Set Programs |
114
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
132
click to vote
LANMR
2007
15 years 3 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
100
click to vote
JSS
2010
15 years 21 days ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
109
click to vote
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
119
click to vote
VTS
2007
IEEE
15 years 8 months ago
2007
IEEE
In SoC designs, limited test access to internal cores, lowcost external tester’s lack of accuracy and slow frequencies make application of at-speed tests impractical. Therefore,...