Differential assertion checking.

Shuvendu K. Lahiri Kenneth L. McMillan Rahul Sharma Chris Hawblitzel

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

computer vision
real time
information systems
image processing
image sequences
search algorithm
probability distribution
model checking
integrity constraints