Gillian, part i: a multi-language platform for symbolic execution.

Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner

Browse the full PLDI paper archive.