Will Leeson, Matthew B. Dwyer, Antonio Filieri. Sibyl: Improving Software Engineering Tools with SMT Selection. In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 2185-2197, IEEE, 2023. [doi]
Abstract is missing.