PSE: explaining program failures via postmortem static analysis.

Roman Manevich Manu Sridharan Stephen Adams Manuvir Das Zhe Yang

Published in: SIGSOFT FSE (2004)

Keyphrases

static analysis
post mortem
dynamic analysis
source code
symbolic execution
abstract interpretation
malicious code
java card
regular expressions
test generation
mr images
test suite
databases
open source
data model
image processing
real world