env.wis.jtlv.regression.spec
Classes 
AllMCTests
AllSpecTests
CounterStringLoadTestcases
ModelCheckTC
SpecTestCaseTemplate