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