Login / Signup
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