%0 Conference Paper %1 conf/serp/CheonR07 %A Cheon, Yoonsik %A Rubio-Medrano, Carlos E. %B Software Engineering Research and Practice %D 2007 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %K dblp %P 385-391 %T Random Test Data Generation for Java Classes Annotated with JML Specifications. %U http://dblp.uni-trier.de/db/conf/serp/serp2007-2.html#CheonR07 %@ 1-60132-034-5

@inproceedings{conf/serp/CheonR07, added-at = {2008-01-22T00:00:00.000+0100}, author = {Cheon, Yoonsik and Rubio-Medrano, Carlos E.}, biburl = {https://www.bibsonomy.org/bibtex/233855183213e8bd1800fca85b5b70e51/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2007-2}, date = {2008-01-22}, description = {dblp}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {eba670dc7a9af4acdb76e4a956107d89}, intrahash = {33855183213e8bd1800fca85b5b70e51}, isbn = {1-60132-034-5}, keywords = {dblp}, pages = {385-391}, publisher = {CSREA Press}, timestamp = {2008-01-23T11:11:18.000+0100}, title = {Random Test Data Generation for Java Classes Annotated with JML Specifications.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2007-2.html#CheonR07}, year = 2007 }