Dataset for the Paper "Testing with Automata-based Software Model Checking"
收藏官方服务：
资源简介：
This Dataset contains the evaluation data of the article "Testing with Automata-based Software Model Checking". Content: Logfiles, Test-cases, Benchexec result files. The Replication Package is available at: 10.5281/zenodo.17200389
提供机构：
Zenodo创建时间：
2025-11-07
