Downloads
This page provides binary and source versions of Tautoko (Test Case Generator and Model Miner) and jFTA (Typestate verifier for Java). Usage instructions are available here.
| Program | Version | Binary | Source |
|---|---|---|---|
| Tautoko | 0.1-SNAPSHOT | Binary | Source |
| JFTA | 0.1-SNAPSHOT | Binary | Source |