This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Generating Fixes from Object Behavior Anomalies - ASE 2009
by Valentin Dallmeier, Andreas Zeller, Bertrand Meyer

Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 2009.

Download as PDF file.


Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do this automatically? The results reported in this paper, from the new PACHIKA tool, suggest that such a goal may be reachable. PACHIKA leverages differences in program behavior to generate program fixes directly. It automatically summarizes executions to object behavior models, determines differences between passing and failing runs, generates possible fixes, and assesses them via the regression test suite. Evaluated on the ASPECTJ bug history, PACHIKA generates a valid fix for 3 out of 18 crashing bugs; each fix pinpoints the bug location and passes the ASPECTJ test suite.


BibTeX Entry

    title = "Generating Fixes from Object Behavior Anomalies",
    author = "Valentin Dallmeier and Andreas Zeller and Bertrand Meyer",
    year = "2009",
    month = nov,
    address = "Auckland, New Zealand",
    booktitle = "Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering",
    location = "Auckland, New Zealand",

Show all publications of the Software Engineering Chair.