Checking Complex Source Code-level Constraints using Runtime Verification - FSE 2024 (Industry papers track) - Artefact
收藏Figshare2024-05-09 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/dataset/Checking_Complex_Source_Code-level_Constraints_using_Runtime_Verification_-_FSE_2024_Industry_papers_track_-_Artefact/25783266/1
下载链接
链接失效反馈官方服务：
资源简介：
This dataset accompanies the article Joshua Heneage Dawes and Domenico Bianculli. 2024. Checking Complex Source Code-level Constraints using Runtime Verification. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE Companion ’24), July 15–19, 2024, Porto de Galinhas, Brazil. ACM, New York, NY, USA, 11 pages. https://doi.org/10. 1145/3663529.3663845<br>The dataset contains:The specifications used in our paper. These are found in the directory <i>specifications</i>.The traces used in our paper. These are found in the directory <i>traces</i>.A CSV file, <i>RQ-results.csv</i>, containing the results shown in the paper.
提供机构：
Bianculli, Domenico; Dawes, Joshua
创建时间：
2024-05-09
