Dataset and Artifacts for ASE NIER 2026 paper: Can Formal Specifications Be Synthesized from Tests Alone?
收藏官方服务：
资源简介：
This artifact accompanies the accepted ASE NIER paper “Can Formal Specifications Be Synthesized from Tests Alone?” It contains the prototype implementation, patches to JJBMC, benchmarks, validation logs, and reproducibility scripts. The artifact provides the material needed to reproduce the experimental workflow described in the paper, including benchmark inputs, generated specifications, execution results, and logs for successful and unsuccessful validation runs.
提供机构：
Zenodo创建时间：
2026-07-07
