386 search results - page 11 / 78 » Debugging Logic Programs Using Specifications |
111
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
127
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
The errors that Java programmers are likely to encounter can roughly be categorized into three groups: compile-time (semantic and syntactic), logical, and runtime (exceptions). Wh...
135
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
116
click to vote
ENTCS
2007
15 years 2 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...