This directory contains the semantic coverage 16 of the twenty test suites T 1 ... T 20 of jTerminal for 17 partial correctness with respect to M25; these files are 18 named PAR25T1 ... PA
The 20 Test Suites. From this expanded test suite of33 37 tests (whose elements we number from 1 to 37), we34 generate twenty (20) subsets as follows:35 – T 1...T 5: Five subsets obtained
his directory contains the semantic coverage 32 of the twenty test suites T 1 ... T 20 of jTerminal for 33 partial correctness with respect to M50; these files are 34 named PAR50T1 ... PAR
