High Coverage Concolic Equivalence Checking.

Pritam Roy Sagar Chaki Pankaj Chauhan

Published in: DATE (2019)

Keyphrases

computer vision
wide range
high precision
consistency checking
image segmentation
special case
high cost
significantly lower