Mitsuo Takaki

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
Randomized constraint solvers: a comparative study. Innov. Syst. Softw. Eng. 6 (3) (2010)
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods (2009)