Code license:	MIT License
Labels:	Java, JUnit, Testing, ESC, JCrasher, JML

Links:	DSD-Crasher paper (ISSTA 2006) Check 'n' Crash paper (ICSE 2005) Academic homepage ESC/Java2 JML JUnit JCrasher
Feeds:	Project feeds

Project owners:
	csallner

Requirements

Check 'n' Crash and DSD-Crasher should run on any machine that has a Java Virtual Machine installed.

The most convenient way to use Check 'n' Crash or DSD-Crasher is by running an Ant script. You can download Ant for free.

Check 'n' Crash and DSD-Crasher generate JUnit test cases. You can download JUnit for free.

Internals

DSD-Crasher contains Check 'n' Crash, which contains JCrasher. So we use all the libraries that JCrasher uses.

In addition...(todo)

This product includes software developed by The Apache Software Foundation (http://www.apache.org/).