Powering the static driver verifier using corral.

Akash Lal Shaz Qadeer

Published in: SIGSOFT FSE (2014)

Keyphrases

genetic algorithm
user interface
neural network
artificial intelligence
image sequences
data structure
moving objects
dangerous situations