Information platform on the international market of software testing tools
T2 is a fully automatic trace-based random testing tool for Java, and is now available in a full version! T2 is powerful; it can check e.g. internal errors, method specifications, and class invariant. It is also very versatile, allowing models and specifications to be written in plain Java. It is fast; able to inject thousands of tests in less than a second!
Title | File | URL |
---|---|---|
http://www.cs.uu.nl/wiki/WP/T2Framework |
Current Comments
10.12.2020 by tongmengli
Error linking to ...
28.05.2020 by Henning Femmer
26.02.2020 by Dirk O. Schweier
28.03.2018 by Daniel
09.12.2017 by Bert