Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.

Tobias Lindahl Konstantinos Sagonas

Published in: APLAS (2004)

Keyphrases

lightweight
static analysis
source code
dynamic analysis
regular expressions
development environments
java card
symbolic execution
test generation
wireless sensor networks
abstract interpretation
communication infrastructure
software systems
test suite
software development
pattern matching
data management