Finding Bugs in Device Drivers with Static Driver Verifier.

Published in: Abstract State Machines (2005)

Keyphrases

car navigation
driving behavior
traffic accidents
source code
driving simulator
real time
neural network
database
data mining
learning algorithm
search engine
information systems
website
bayesian networks
key factors
root cause