Gillian: Compositional Symbolic Execution for All.

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

Published in: CoRR (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
databases
neural network
training data
test cases
simulated annealing algorithm
open source
software testing