Random Test Data Generation for Java Classes Annotated with JML Specifications.

Yoonsik Cheon Carlos E. Rubio-Medrano Random Test Data Generation for Java Classes Annotated with JML Specifications. 385-391 2007 conf/serp/2007-2 Software Engineering Research and Practice db/conf/serp/serp2007-2.html#CheonR07