A petri net framework for automated static analysis of Ada tasking behavior.

Sol M. Shatz Wing Kai Cheng

Published in: J. Syst. Softw. (1988)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
malicious code
symbolic execution
reverse engineering
java card
test generation
artificial intelligence
database systems
test suite
semi automated
high level
open source
pattern matching