Kádár István Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset. [Thesis] (Unpublished)