Kádár, István (2014) Szimbolikus végrehajtó keretrendszer kiegészítése constraint építő mechanizmusokkal. Masters, Szegedi Tudományegyetem.
Kádár, István (2012) Java programok implementációs problémáinak detektálása szimbolikus végrehajtás segítségével. BA/Bsc, Szegedi Tudományegyetem.