Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}