Matching implementations to specifications: the corner cases of ioco.

Ramon Janssen Jan Tretmans

Published in: SAC (2019)

Keyphrases

pattern matching
matching algorithm
image matching
graph matching
formal specification
keypoints
template matching
efficient implementation
shape matching
matching process
data sets
search engine
similarity measure
case base
legal reasoning