A Logic-Based Approach to Combinatorial Testing with Constraints.

Andrea Calvagna Angelo Gargantini

Published in: TAP (2008)

Keyphrases

programming language
logic programming
classical logic
neural network
artificial intelligence
constraint satisfaction
constrained optimization
data sets
constraint language
real time
learning algorithm
geometric constraints
global constraints
soft constraints