Strengthening Induction-Based Race Checking with Lightweight Static Analysis.

Alastair F. Donaldson Leopold Haller Daniel Kroening

Published in: VMCAI (2011)

Keyphrases

lightweight
static analysis
dynamic analysis
source code
regular expressions
java card
symbolic execution
malicious code
test generation
dos attacks
communication infrastructure
reverse engineering
development environments
wireless networks
handheld devices
abstract interpretation