 | KeY - Test Case GeneratorSoftware that allows you to generate unit tests from specifications |
| Download | |
KeY - Test Case Generator Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- The KeY Project
- Publisher web site:
- http://www.key-project.org
- Operating Systems:
- Mac OS X
- File Size:
- 1 KB
KeY - Test Case Generator Tags
KeY - Test Case Generator Description
Software that allows you to generate unit tests from specifications KeY - Test Case Generator is a free software that, in addition to formal proofs, allows you to generate unit tests from specifications.KeY - Test Case Generator is written in the Java programming language. Requirements: · Java 1.5 or later
KeY - Test Case Generator Related Software