Sciweavers

3 search results - page 1 / 1
» Lightweight bug localization with AMPLE
Sort
View
189
Voted
AADEBUG
2005
Springer
15 years 11 months ago
Lightweight bug localization with AMPLE
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
Valentin Dallmeier, Christian Lindig, Andreas Zell...
KBSE
2007
IEEE
16 years 12 days ago
Extraction of bug localization benchmarks from history
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
Valentin Dallmeier, Thomas Zimmermann
ISSTA
2010
ACM
15 years 10 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder