Automated diagnosis of software misconfigurations based on static analysis.

Zhen Dong Mohammadreza Ghanavati Artur Andrzejak

Published in: ISSRE (Supplemental Proceedings) (2013)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
software systems
abstract interpretation
fault diagnosis
java card
regular expressions
test generation
open source
malicious code
model based diagnosis
test suite
software maintenance
information security
computer aided
building blocks
knowledge base