Testing Polymorphic Properties.

Jean-Philippe Bernardy Patrik Jansson Koen Claessen

Published in: ESOP (2010)

Keyphrases

structural properties
key properties
trade off
input image
desirable properties
topological properties
data sets
artificial intelligence
three dimensional
high level
probabilistic model