paper.bib

@inproceedings{dta_fse,
    acmid = {1849981},
    author = {Schwartz, Edward J. and Avgerinos, Thanassis and Brumley, David},
    booktitle = {Proceedings of the 2010 IEEE Symposium on Security and Privacy},
    pages = {317--331},
    title = {All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)},
    year = {2010},
},
@book{knuth,
    address = {Redwood City, CA, USA},
    author = {Knuth, Donald E.},
    isbn = {0-201-89683-4},
    publisher = {Addison Wesley Longman Publishing Co., Inc.},
    title = {The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental Algorithms},
    year = {1997},
},
@inproceedings{sage,
    author = {Godefroid, Patrice and Levin, Michael Y. and Molnar, David},
    numpages = {16},
    title = {Automated Whitebox Fuzz Testing},
    year = {2008},
},
@inproceedings{splat,
    acmid = {1390636},
    address = {New York, NY, USA},
    author = {Xu, Ru-Gang and Godefroid, Patrice and Majumdar, Rupak},
    booktitle = {Proceedings of the 2008 International Symposium on Software Testing and Analysis},
    doi = {10.1145/1390630.1390636},
    isbn = {978-1-60558-050-0},
    keywords = {buffer overflows, directed testing, length abstractions, testing c programs, underapproximation},
    location = {Seattle, WA, USA},
    numpages = {12},
    pages = {27--38},
    publisher = {ACM},
    series = {ISSTA '08},
    title = {Testing for Buffer Overflows with Length Abstraction},
    url = {http://doi.acm.org/10.1145/1390630.1390636},
    year = {2008},
},
@article{turing_computable_numbers,
    author = {Turing, Alan Mathison},
    journal = {Proceedings of the London mathematical society},
    number = {1},
    pages = {230--265},
    publisher = {Wiley Online Library},
    title = {On computable numbers, with an application to the Entscheidungsproblem},
    volume = {2},
    year = {1937},
},
@inproceedings{veritesting,
    acmid = {2568293},
    address = {New York, NY, USA},
    author = {Avgerinos, Thanassis and Rebert, Alexandre and Cha, Sang Kil and Brumley, David},
    booktitle = {Proceedings of the 36th International Conference on Software Engineering},
    doi = {10.1145/2568225.2568293},
    isbn = {978-1-4503-2756-5},
    keywords = {Symbolic Execution, Verification, Veritesting},
    location = {Hyderabad, India},
    numpages = {12},
    pages = {1083--1094},
    publisher = {ACM},
    series = {ICSE 2014},
    title = {Enhancing Symbolic Execution with Veritesting},
    url = {http://doi.acm.org/10.1145/2568225.2568293},
    year = {2014},
},