PAR50
收藏官方服务：
资源简介：
his directory contains the semantic coverage 32<br> of the twenty test suites T 1 ... T 20 of jTerminal for 33<br> partial correctness with respect to M50; these files are 34<br> named PAR50T1 ... PAR50T20. This directory also 35<br> contains the graph that ranks the test suites T 1 ... T 20 36<br> by their semantic coverage; this graph is represented in 37<br> two formats, namely the list of arcs (ArcsPAR50) and 38<br> the graphical representation (GraphPAR50)
提供机构：
Alblwi, samia创建时间：
2023-01-28
