Checking Complex Source Code-level Constraints using Runtime Verification - FSE 2024 (Industry papers track) - Artefact

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
The 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.