Perturbation Analysis: A Static Analysis Approach for the Non-Intrusive Monitoring of Distributed Programs.

Madalene Spezialetti Rajiv Gupta

Published in: ICPP (2) (1994)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
distributed systems
real time
monitoring system
java card
malicious code
test generation
multi agent
reverse engineering
api calls
mobile agents
object oriented
learning algorithm