NonCommR: A Benchmark Dataset for Non-Commutativity Detection in Reduce Functions
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/15011900
下载链接
链接失效反馈官方服务：
资源简介：
The dataset includes 190 standardized reduce functions and requirement documents, along with the outputs from symbolic execution using KLEE, the interpretations and test case generation results from ChatGPT, and detailed statistics of testing results across four different detection methods.
创建时间：
2025-03-12
