Kádár István Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset. Doktori értekezés, Szegedi Tudományegyetem (2000-). (2018) (Kéziratban)