Guba, Zoltán (2010) Statikus forráskód elemzés C++ forráskódokban, inicializációs hibák felderítése. Masters, Szegedi Tudományegyetem.