20 search results - page 3 / 4 » Has the bug really been fixed |
PLDI
1996
ACM
13 years 10 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
AINA
2008
IEEE
13 years 7 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
IDEAL
2009
Springer
13 years 10 months ago
2009
Springer
With the rapid and dramatic increase in web feeds published by different publishers, providers or websites via Really Simple Syndication (RSS) and Atom, users cannot be expected t...
SIGSOFT
2006
ACM
14 years 6 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...
ASPLOS
2004
ACM
13 years 11 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...