Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Venue
ECOOP 2024
Publication date
Sep 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