|
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim and Ricardo Prudêncio In 1st NASA Formal Methods Symposium (NFM '09). |
|
Busca Meta-Heurística para Resolução de CSP em Teste de Software
Mitsuo Takaki Master's Dissertation |