@article{a688f9f88d0e4182aaaaf90e72aa9be6,
title = "Symbolic types for lenient symbolic execution",
keywords = "Macros, Solver-Aided Languages, Symbolic Execution, Type Systems",
author = "Stephen Chang and Alex Knauth and Emina Torlak",
note = "Publisher Copyright: {\textcopyright} 2018 Copyright held by the owner/author(s).",
year = "2018",
month = jan,
doi = "10.1145/3158128",
language = "English",
volume = "2",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery (ACM)",
number = "POPL",
}