Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.

Matthieu Petit Arnaud Gotlieb

Published in: ICLP (2004)

Keyphrases

global constraints
software testing
constraint programming
software engineering
test cases
software systems
test data generation
search algorithm
relational databases
probabilistic model
open source
source code
software development
generative model
integration testing