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