TY  - RPRT
TI  - A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing
AU  - Takaki, Mitsuo
AU  - Cavalcanti, Diego
AU  - Gheyi, Rohit
AU  - Iyoda, Juliano
AU  - dAmorim, Marcelo
AU  - Prudencio, Ricardo
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024470
ID  - 20100024470
ER  -