C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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