@inproceedings{,
    author = {Bucur, Stefan; Kinder, Johannes; Candea, George},
    title = {Prototyping Symbolic Execution Engines for Interpreted Languages},
    editor = {},
    booktitle = {ASPLOS '14 Proceedings of the 19th international conference on Architectural support for programming languages and operating systems  : Salt Lake City, Utah, USA — March 01 - 05, 2014International Conference on Architectural Support for Programming Languages and Operating Systems (19., 2014, Salt Lake City, UT)},
    series = {},
    journal = {},
    address = {New York, NY},
    publisher = {ACM},
    edition = {},
    year = {2014},
    isbn = {978-1-4503-2305-5},
    volume = {},
    number =  {},
    pages = {239-254},
    url = {http://doi.acm.org/10.1145/2541940.2541977},
    doi = {10.1145/2541940.2541977},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}