Model-Based Error Location in Java Programs

Project duration
January 2005 - January 2007
Funded by
Australian Research Council
Project number

Short description
The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing ‑ according to recent articles ‑ "typically 50 % or more of the resources for software projects". By providing a new, flexible approach to the debugging of complex software, this project offers the potential of significant cost savings, highly beneficial to the ICT industry. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. In addition, the project strengthens links to high quality European research laboratories.

Project team
Michael Schrefl - Partner Investigators (DKE)
Markus Stumptner - Chief Investigators (University of South Australia)
Dan Corbett - Chief Investigators (University of South Australia)
Franz Wotawa - Partner Investigators (Universität Graz)