Abstract. A common method to localize defects is to compare the coverage of passing and failing program runs: A method executed only in failing runs, for instance, is likely to point to the defect. Some failures, though, come to be only through a specific sequence of method calls, such as multiple deallocation of the same resource. Such sequences can be collected from arbitrary Java programs at low cost; comparing object-specific sequences predicts defects better than simply comparing coverage. In a controlled experiment, our technique pinpointed the defective class in 39 % of all test runs.
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Reviewed by Antónia LopesExecuting comprehensive test suits allows programmers to strengthen the con...
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and faili...
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and faili...
During the last decade formal verification has be-come very important not only in academia but also ...
Fault localization is usually the most time-consuming step when debugging software bugs in general a...
Search-based program repair generates variants of a defective program to find its repair. This could...
Abstract In this paper we present a new model of Java programs. We show how a program can be compile...
Background: Test resources are usually limited and therefore it is often not possible to completely ...
This paper presents a novel methodology for localizing faults in code as it evolves. Our insight is ...
This paper presents a novel methodology for localizing faults in code as it evolves. Our insight is ...
Abstract—Existing fault localization techniques combine various program features and similarity coef...
Automated static analysis is a promising technique to de-tect defects in software. However, although...
Abstract. The knowledge of real software faults representativeness is important to allow the emulati...
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Reviewed by Antónia LopesExecuting comprehensive test suits allows programmers to strengthen the con...
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and faili...
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and faili...
During the last decade formal verification has be-come very important not only in academia but also ...
Fault localization is usually the most time-consuming step when debugging software bugs in general a...
Search-based program repair generates variants of a defective program to find its repair. This could...
Abstract In this paper we present a new model of Java programs. We show how a program can be compile...
Background: Test resources are usually limited and therefore it is often not possible to completely ...
This paper presents a novel methodology for localizing faults in code as it evolves. Our insight is ...
This paper presents a novel methodology for localizing faults in code as it evolves. Our insight is ...
Abstract—Existing fault localization techniques combine various program features and similarity coef...
Automated static analysis is a promising technique to de-tect defects in software. However, although...
Abstract. The knowledge of real software faults representativeness is important to allow the emulati...
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault ...
Reviewed by Antónia LopesExecuting comprehensive test suits allows programmers to strengthen the con...