Yoonsik Cheon, Carlos E. Rubio-Medrano. Random Test Data Generation for Java Classes Annotated with JML Specifications. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Volume II, June 25-28, 2007, Las Vegas Nevada, USA. pages 385-391, CSREA Press, 2007.
Abstract is missing.