TOT25

Semantic coverage of the test suits for total correctness of Jterminal with respect to M25. <br> The semantic coverage of a test suite T to test 1<br> a program P depends not only on T and P , but also 2<br> on the standard of correctness (partial, total) and on the 3<br> specification with respect to which correctness is tested. 4<br> For the purpose of this experiment, we have used two 5<br> mutants of jTerminal, namely M25 and M50, as the 6<br> specifications with respect to which correctness is tested. 7<br> This directory contains the semantic coverage of test 8<br> suites T 1 ... T 20 for total correctness with respect to 9<br> M25; these files are named TOT25T1 ... TOT25T20. 10<br> This directory also contains the graph that ranks the 11<br> test suites T 1 ... T 20 by their semantic coverage; this 12<br> graph is represented in two formats, namely the list 13<br> of arcs (ArcsTOT25) and the graphical representation 14<br> (GraphTOT25).