Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution.

Peter Müller Malte Schwerhoff Alexander J. Summers

Published in: CoRR (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
description language
software testing
open source
genetic programming
building blocks
quality assurance
simulated annealing algorithm