In TSGR source package (TSGR.src.Nov06.zip)
Unordered list
makefile
Unix makefile utility
ATM.efsm
A sample EFSM input file
ATMm.efsm
A sample EFSM input file used in Regression Test Suite Reduction
ATMm.mod
A sample input file for modified transitions, used along with ATMm.efsm
ATMT5.ts
A sample TS input file (for a single TUT)
ATM.ts
A sample TS input file (for a set of TUTs)
ATMDemo.ts
A TS input file that Panitee created for a presentation
ATM.r
A sample R input file (a set of TUTs)

Home