53 search results - page 3 / 11 » Testing and Debugging Techniques for Answer Set Solver Devel... |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
AMAI
2008
Springer
13 years 5 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
ASPDAC
1998
ACM
13 years 9 months ago
1998
ACM
Functional debugging often dominates the time and cost of the ASIC system development, mainly due to the limited controllability and observability of the storage elements in desig...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...