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

BibTeX:

@PhdThesis{Kad18,
    author  = {K\'ad\'ar, Istv\'an},
    title   = {Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset},
    school  = {University of Szeged},
    year    = {2018},
    type    = {phdthesis},
    address = {Szeged, Hungary},
    note    = {Supervisor: Rudolf Ferenc},
    url     = {http://doktori.bibl.u-szeged.hu/4138/},
}