Static Analysis, Code Transformation and Runtime Profiling for Self-healing.

Mohammad Muztaba Fuad Debzani Deb Jinsuk Baek

Published in: J. Comput. (2013)

Keyphrases

static analysis
malicious code
source code
dynamic analysis
software systems
symbolic execution
java card
abstract interpretation
regular expressions
open source
databases
test generation
artificial intelligence
computing systems
test suite
autonomic systems
case study
real world