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
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
Semantic coverage of the test suits for total correctness of Jterminal with respect to M25. The semantic coverage of a test suite T to test 1 a program P depends not only on T and P , but als
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
