@article{CHKwflp06,
author = {R.~Caballero and C.~Hermanns and H.~Kuchen},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {75-89},
publisher = {Elsevier Science},
title = {Algorithmic Debugging of Java Programs},
volume = {177},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}