Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr. Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. In Nada Amin, Joaquín Arias, editors, Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings. Volume 16401 of Lecture Notes in Computer Science, pages 39-56, Springer, 2025. [doi]
Abstract is missing.