A Static Analysis for Beta-Binders.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
beta distribution
regular expressions
java card
test generation
databases
data sets
test suite