Sciweavers

2132 search results - page 173 / 427
» Automated software winnowing
Sort
View
ISSTA
2000
ACM
15 years 8 months ago
Simplifying failure-inducing input
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
Ralf Hildebrandt, Andreas Zeller
111
Voted
EWCBR
1998
Springer
15 years 7 months ago
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
Ralph Bergmann, Sean Breen, Emmanuelle Fayol, Mehm...
SIGSOFT
2007
ACM
16 years 4 months ago
Differential testing: a new approach to change detection
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
Robert B. Evans, Alberto Savoia
118
Voted
KBSE
2008
IEEE
15 years 10 months ago
Using Cluster Analysis to Improve the Design of Component Interfaces
For large software systems, interface structure has an important impact on their maintainability and build performance. For example, for complex systems written in C, recompilatio...
Rahmat Adnan, Bas Graaf, Arie van Deursen, Joost Z...
ICSE
2007
IEEE-ACM
16 years 3 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi