Validating System Requirements by Functional Decomposition and Dynamic Analysis.

Published in: ICSE (1989)

Keyphrases

dynamic analysis
functional decomposition
static analysis
reverse engineering
boolean functions
model checking
malicious behavior
image processing
search space
software engineering
source code
markov chain
logic circuits