Static Analysis of Complex Software Systems Implemented in Erlang.

Melinda Tóth István Bozó

Published in: CEFP (2011)

Keyphrases

static analysis
dynamic analysis
complex software systems
source code
software systems
malicious code
test generation
java card
open source
software engineering
symbolic execution
abstract interpretation
test suite
cooperative
machine learning
regular expressions
test case generation