3544 search results - page 478 / 709 » Software Testing |
139
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
117
click to vote
ENTCS
2002
15 years 18 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
109
click to vote
PROMISE
2010
14 years 7 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
110
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
133
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...