TY  - RPRT
TI  - JavaTA: A Logic-based Debugger for Java
AU  - Hani Girgis
AU  - Bharat Jayaraman
PY  - 2007
UR  - https://arxiv.org/abs/cs/0701107
ID  - cs/0701107
ER  -