Model-Based Error Location in Java Programs

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.