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)