Jolt: lightweight dynamic analysis and removal of object churn.

Ajeet Shankar Matthew Arnold Rastislav Bodík

Published in: OOPSLA (2008)

Keyphrases

lightweight
dynamic analysis
static analysis
reverse engineering
wireless sensor networks
object model
d objects
databases
model checking
development environments
communication infrastructure
moving objects
object tracking
authentication protocol