Sibyl: Improving Software Engineering Tools with SMT Selection.

Will Leeson, Matthew B. Dwyer, Antonio Filieri

Browse the full ICSE paper archive.