PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.

Nicky Williams Bruno Marre Patricia Mouy Muriel Roger

Published in: EDCC (2005)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
test suite
malicious behavior
shortest path
statistical tests
automatically generate
software engineering
source code
data sets
test data
multiple choice
case study
metadata
information systems