PAR50
收藏Figshare2023-01-28 更新2026-04-28 收录
下载链接：
https://figshare.com/articles/dataset/PAR50/21964838
下载链接
链接失效反馈官方服务：
资源简介：
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 ... PAR50T20. This directory also 35 contains the graph that ranks the test suites T 1 ... T 20 36 by their semantic coverage; this graph is represented in 37 two formats, namely the list of arcs (ArcsPAR50) and 38 the graphical representation (GraphPAR50)
创建时间：
2023-01-28
