Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

SERP
2007

favoriteEmaildiscussreport

82views Software Engineering» more SERP 2007»

Random Test Data Generation for Java Classes Annotated with JML Specifications

13 years 6 months ago

Random Test Data Generation for Java Classes Annotated with JML Specifications

Download www.cs.utep.edu

Yoonsik Cheon, Carlos E. Rubio-Medrano

Real-time Traffic

SERP 2007 | Software Engineering |

claim paper

Related Content

» JMLAutoTest A Novel Automated Testing Framework Based on JML and JUnit

» Jartege a Tool for Random Generation of Unit Tests for Java Classes

» PrivacySensitive Information Flow with JML

» Test Data Generation for Programs with Quantified FirstOrder Logic Specifications

» ContractDriven Testing of JavaScript Code

» SeDiTeC Testing Based on Sequence Diagrams

» PileLine a toolbox to handle genome position information in nextgeneration sequencing stud...

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2007
Where	SERP
Authors	Yoonsik Cheon, Carlos E. Rubio-Medrano

Comments (0)