@inproceedings{,
    author = {Loring, Blake; Mitchell, Duncan; Kinder, Johannes},
    title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript},
    editor = {},
    booktitle = {SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software  : Santa Barbara, CA, USA — July 13 - 14, 2017ACM SIGSOFT International SPIN Symposium on Model Checking of Software (24., 2017, Santa Barbara, CA)},
    series = {},
    journal = {},
    address = {New York, NY},
    publisher = {ACM},
    edition = {},
    year = {2017},
    isbn = {978-1-4503-5077-8},
    volume = {},
    number =  {},
    pages = {196-199},
    url = {https://doi.org/10.1145/3092282.3092295},
    doi = {10.1145/3092282.3092295},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}