home.md

-# TEST
-## Test 2
\ No newline at end of file
+# T3
+
+T3 is a powerful automated unit testing tool to test Java classes. Given a target class to test, it randomly generates sequences of calls to the class' methods to test it. It catches unexpected exception; but if you had written assertions in the class, then violations to those will be caught as well.
+
+Note: the predecessor of T3, called T2 is phased out.
+
+T3's main features:
+
+* Sequence-based testing: it does not test a method individually, but instead generate sequences of method calls to trigger interactions between methods of the target class.
+* Fast, able to generate thousands of test sequences in few seconds.
+* Generated test suite can be saved and replayed.
+* A combinator-based approach to compose custom value/object generators, ala QuickCheck?.
+* It can be run from the command line, or called as an API from a JUnit test class.
+
+I also provide a Groovy 'front-end' called T3i, that facilitates more powerful use of T3. T3i offers these additional features:
+
+* We can do interactive testing through Groovy interactive shell.
+* Provide a convenient way to configure T3, including specifying custom value/object generators.
+* We can experiment with different configurations to generate multiple suites; combine them, filter them, and combine them again.
+* We can query generated test suites for Hoare triples, LTL formulas, or algebraic formulas.
+
+T3 needs Java 8, and T3i also needs Groovy at least 2.3.
+
+License: GPL version 3.
\ No newline at end of file