Model-Based Error Location in Java Programs
- Project duration
- January 2005 - January 2007
- Funded by
- Australian Research Council
- Project number
- DP0560183
- 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)