Sciweavers

SERP
2007

Random Test Data Generation for Java Classes Annotated with JML Specifications

14 years 1 months ago
Random Test Data Generation for Java Classes Annotated with JML Specifications
Yoonsik Cheon, Carlos E. Rubio-Medrano
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2007
Where SERP
Authors Yoonsik Cheon, Carlos E. Rubio-Medrano
Comments (0)