David J. Murray Dale E. Parson Automated Debugging in Java Using OCL and JDI. 2000 AADEBUG http://arxiv.org/abs/cs.SE/0101002 db/conf/aadebug/aadebug2000.html#MurrayP00