Symbolic execution of LOTOS specifications.

Henk Eertink Dietmar Wolz

Published in: FORTE (1992)

Keyphrases

symbolic execution
specification language
formal specification
static analysis
test data generation
programming language
formal specification language
description language
test generation
source code
high level
test cases
data flow
temporal ordering
data sets