Integrated Static Analysis for Linux Device Driver Verification.

Hendrik Post Wolfgang Küchlin

Published in: IFM (2007)

Keyphrases

static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
open source
abstract interpretation
operating system
car navigation
model checking
malicious code
regular expressions
file system
learning algorithm
test suite
keywords
case study