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

José Fragoso Santos Petar Maksimovic Sacha-Élie Ayoun Philippa Gardner

Published in: PLDI (2020)

Keyphrases

symbolic execution
specification language
programming language
test data generation
static analysis
test generation
database
source code
formal specification
description language
databases
real world
search space
optimization algorithm
orders of magnitude
data flow