Z. Szűgyi, I. Forgács, and Z. Porkoláb, “4D Ariadne the Static Debugger of Java Programs”, Period. Polytech. Elec. Eng., vol. 55, no. 3-4, pp. 127–132, Jan. 2011.