Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.

Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner

Browse the full ECOOP paper archive.