Joshua Heneage Dawes, Domenico Bianculli. Checking Complex Source Code-Level Constraints using Runtime Verification. In Marcelo d'Amorim, editor, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. pages 255-265, ACM, 2024. [doi]
Abstract is missing.