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 |