Test Selection Criteria for Quantifier-Free First-Order Specifications.

Marc Aiguier Agnès Arnould Pascale Le Gall Delphine Longuet

Published in: FSEN (2007)

Keyphrases

selection criteria
quantifier free
quantifier elimination
first order logic
rewrite systems
functional programming
constraint propagation
cardinality constraints
real numbers
constraint databases
expressive power
artificial intelligence
high level
test cases
relational data model
term rewriting