2 papers
cs.SE2001
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…
cs.SE2000
Extension Language Automation of Embedded System Debugging
Dale Parson, Bryan Schlieder, Paul Beatty
Embedded systems contain several layers of target processing abstraction. These layers include electronic circuit, binary machine code, mnemonic assembly code, and high-level proce…