ICSE Workshop on Dynamic Analysis (WODA 2003).

Jonathan E. Cook Michael D. Ernst

Published in: ICSE (2003)

Keyphrases

dynamic analysis
static analysis
reverse engineering
panel discussion
real time
software engineering
model checking
invited paper
invited talk
selected papers
source code
real world
neural network
database
error rate
domain knowledge
information retrieval
abstract interpretation