Login / Signup
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
Mitsuo Takaki
Diego Cavalcanti
Rohit Gheyi
Juliano Iyoda
Marcelo d'Amorim
Ricardo Bastos Cavalcante Prudêncio
Published in:
NASA Formal Methods (2009)
Keyphrases
</>
constraint solvers
constraint solving
constraint programming
constraint propagation
constraint solver
constraint satisfaction problems
test cases
metaheuristic
randomly generated
rough sets