"Symbolic types for lenient symbolic execution."

Stephen Chang, Alex Knauth, Emina Torlak (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics