Static Analysis: Hard Real Time is Hard, "Big Time!".

Stephen P. Masticola Thomas J. Marlowe

Published in: NATO ASI RTC (1992)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
test generation
abstract interpretation
big data
regular expressions
test suite
data sets
decision trees