Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.

Jason Belt Robby Xianghua Deng

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

lightweight
symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
artificial intelligence
decision trees
evolutionary algorithm
wireless sensor networks
dos attacks