Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic.

Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr

Browse the full PADL paper archive.