Static analysis of Lyee requirements.

Mohamed Mejri Béchir Ktari Hamido Fujita M. M. Erhioui

Published in: Knowl. Based Syst. (2003)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
test suite
regular expressions
test generation
data mining
reverse engineering