90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications.

Published in: SCAM (2008)

Keyphrases

industrial applications
static analysis
systems engineering
dynamic analysis
source code
symbolic execution
software engineering
industrial systems
regular expressions
java card
test suite
malicious code
engineering design
test generation
computational modeling
database
building blocks
computer science