2638 search results - page 112 / 528 » A Framework for Automatic Debugging |
225
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
121
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
122
click to vote
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
121
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
127
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...