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 (NASA Formal Methods, 2009)

Randomized constraint solvers: a comparative study. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (Innov. Syst. Softw. Eng., 2010)