Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Venue
38th European Conference on Object-Oriented Programming (ECOOP 2024), pp. 25:1–25:28
Publication Year
2024
Identifiers
- DOI: doi:10.4230/LIPIcs.ECOOP.2024.25
- ISBN: 978-3-95977-341-6
Authors
- Andreas Lööw
- Daniele Nantes-Sobrinho
- Sacha-Élie Ayoun
- Caroline Cronjäger
- Petar Maksimović
- Philippa Gardner