Automated Debugging In Java Using OCL And JDI

David J. Murray, Dale E. Parson

Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints in…