Evaluating static analysis defect warnings on production software.

Nathaniel Ayewah William Pugh J. David Morgenthaler John Penix YuQian Zhou

Published in: PASTE (2007)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
test suite
malicious code
java card
regular expressions
test generation
abstract interpretation
test case generation
database
software architecture
software systems
open source
software engineering
training set