TOT50
收藏官方服务：
资源简介：
This directory contains the semantic coverage 24<br> of the twenty test suites T 1 ... T 20 of jTerminal for 25<br> total correctness with respect to M50; these files are 26<br> named TOT50T1 ... TOT50T20. This directory also 27<br> contains the graph that ranks the test suites T 1 ... T 20 28<br> by their semantic coverage; this graph is represented in 29<br> two formats, namely the list of arcs (ArcsTOT50) and 30<br> the graphical representation (GraphTOT50).
提供机构：
figshare创建时间：
2023-01-28
