3090 search results - page 240 / 618 » On Testing Answer-Set Programs |
188
Voted
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
201
click to vote
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
186
click to vote
ISSTA
2010
ACM
15 years 10 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...
166
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
191
click to vote
CODES
2007
IEEE
16 years 24 days ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...