Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.

Kurt M. Olender Leon J. Osterweil

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

static analysis
constraint language
dynamic analysis
source code
symbolic execution
constraint networks
object oriented
java card
integrity constraints
abstract interpretation
regular expressions
test suite
pattern matching
test generation
open source
relational databases
databases
database