Checking Complex Source Code-level Constraints using Runtime Verification - FSE 2024 (Industry papers track) - Artefact
收藏Figshare2024-05-09 更新2026-04-28 收录
下载链接：
https://figshare.com/articles/dataset/Checking_Complex_Source_Code-level_Constraints_using_Runtime_Verification_-_FSE_2024_Industry_papers_track_-_Artefact/25783266
下载链接
链接失效反馈官方服务：
资源简介：
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.3663845The dataset contains:The specifications used in our paper. These are found in the directory specifications.The traces used in our paper. These are found in the directory traces.A CSV file, RQ-results.csv, containing the results shown in the paper.
创建时间：
2024-05-09
