Login / Signup
Verification of Synchronous Sequential Machines Based on Symbolic Execution.
Olivier Coudert
Christian Berthet
Jean Christophe Madre
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
databases
genetic algorithm
optimization algorithm
test cases
real world
evolutionary algorithm
programming language