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

Catherine Oriat

This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja…