Sign in
Thorough static analysis of device drivers.
Thomas Ball
Ella Bounimova
Byron Cook
Vladimir Levin
Jakob Lichtenberg
Con McGarvey
Bohus Ondrusek
Sriram K. Rajamani
Abdullah Ustuner
Published in:
EuroSys (2006)
Keyphrases
</>
static analysis
dynamic analysis
source code
car navigation
symbolic execution
regular expressions
java card
malicious code
test generation
test suite
abstract interpretation
database
reverse engineering
cd rom
query language
database systems
data mining