Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activity Based on a New Dataset

István Kádár. Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activity Based on a New Dataset. PhD thesis, University of Szeged, Hungary, 2018. [doi]

Abstract

Abstract is missing.