3090 search results - page 221 / 618 » On Testing Answer-Set Programs |
168
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
202
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
153
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
176
click to vote
ITICSE
2000
ACM
15 years 10 months ago
2000
ACM
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
162
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....