Conformance Testing with Respect to Partial-Order Specifications.

Gregor von Bochmann

Published in: ICTSS (2016)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
lattice structure
conceptual graphs
logical formulas
vertex cover
preference relations
knowledge base
search algorithm
test cases
association graph
causal links