%0 Conference Paper %1 conf/nfm/TakakiCGIdP09 %A Takaki, Mitsuo %A Cavalcanti, Diego %A Gheyi, Rohit %A Iyoda, Juliano %A d'Amorim, Marcelo %A Prudêncio, Ricardo Bastos Cavalcante %B NASA Formal Methods %D 2009 %E Denney, Ewen %E Giannakopoulou, Dimitra %E Pasareanu, Corina S. %K dblp %P 56-65 %T A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#TakakiCGIdP09 %V NASA/CP-2009-215407

@inproceedings{conf/nfm/TakakiCGIdP09, added-at = {2012-07-17T00:00:00.000+0200}, author = {Takaki, Mitsuo and Cavalcanti, Diego and Gheyi, Rohit and Iyoda, Juliano and d'Amorim, Marcelo and Prudêncio, Ricardo Bastos Cavalcante}, biburl = {https://www.bibsonomy.org/bibtex/2a82161e9ed33111d978fd1fea3894aa8/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2009}, editor = {Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.}, interhash = {797617b044c6f1b1b7d191d66bb79e03}, intrahash = {a82161e9ed33111d978fd1fea3894aa8}, keywords = {dblp}, pages = {56-65}, series = {NASA Conference Proceedings}, timestamp = {2012-07-18T11:33:56.000+0200}, title = {A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2009.html#TakakiCGIdP09}, volume = {NASA/CP-2009-215407}, year = 2009 }