Login / Signup
Static Analysis of Variability in System Software: The 90, 000 #ifdefs Issue.
Reinhard Tartler
Christian Dietrich
Julio Sincero
Wolfgang Schröder-Preikschat
Daniel Lohmann
Published in:
USENIX Annual Technical Conference (2014)
Keyphrases
</>
static analysis
source code
dynamic analysis
malicious code
symbolic execution
abstract interpretation
test suite
test generation
regular expressions
java card
data sets
api calls
software product line
reverse engineering
operating system
software development
data warehouse