Checking Complex Source Code-level Constraints using Runtime Verification - FSE 2024 (Industry papers track) - Artefact
收藏DataCite Commons2024-05-09 更新2024-08-19 收录
下载链接：
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.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.
提供机构：
figshare
创建时间：
2024-05-09
