Static analysis of function calls in Erlang.

Dániel Horpácsi Judit Köszegi

Published in: e Informatica Softw. Eng. J. (2013)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
test suite
java card
abstract interpretation
measurement data
database
object oriented
artificial intelligence
knowledge base
building blocks
test case generation