Masters thesis bibtex

heelan_sean_automatic_2009.bib

@mastersthesis{heelan_sean_automatic_2009,
        title = {Automatic generation of control flow hijacking exploits for software vulnerabilities},
        url = {https://www.cprover.org/dissertations/thesis-Heelan.pdf},
        school = {University of Oxford},
        author = {Heelan, Sean},
        year = {2009}
}