Szűgyi, Zalán, István Forgács, and Zoltán Porkoláb. 2011. “4D Ariadne the Static Debugger of Java Programs”. Periodica Polytechnica Electrical Engineering 55 (3-4):127-32. https://doi.org/10.3311/pp.ee.2011-3-4.05.