Constraint solving techniques for software testing and analysis.

Published in: ICSE (2) (2010)

Keyphrases

software testing
constraint solving
quality assurance
test cases
information technology
constraint propagation
database
artificial intelligence
lower bound
open source
constraint logic programming
regression testing