@InProceedings{propratt,
  author = {Nielsen, Christian Emil
  and Kristiansen, Mathias Faber
  and Bahr, Patrick},
  editor = {Amin, Nada
  and Arias, Joaqu{\'i}n},
  title = {Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic},
  booktitle = {Practical Aspects of Declarative Languages},
  year = {2026},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {39--56},
  isbn = {978-3-032-15981-6},
  year = {2026},
  month = jan,
  Date = {2026-01-12},
  abstract = {Functional reactive programming (FRP) is a programming paradigm for
implementing software that continuously interacts with its environment
and manipulates highly dynamic data. \emph{Asynchronous} FRP, in particular,
is very expressive and can be used to implement graphical user
interfaces and other reactive systems interacting with data streams
and events that are not synchronized. Testing such asynchronous FRP
programs is difficult since a program's behaviour depends not only on
the concrete data it receives from its environment but also the
\emph{relative timing} of when each piece of data arrives.

In this paper, we propose \emph{PropRatt}, a property-based testing
framework for asynchronous FRP. The key component of PropRatt is its
specification language, which extends basic linear temporal logic with
a means to express properties of several concurrent signals. This
allows us to express temporal properties that relate data coming from
different signals at different points in time. PropRatt is implemented
in Haskell and targets a recently introduced asynchronous FRP language
embedded in Haskell. We demonstrate the utility of PropRatt through a
case study testing a signal combinator library as well as a graphical
user interface, in which we suggest how the strategy for generating
signals can be modified to better model specific domains.},
  doi = {10.1007/978-3-032-15981-6_3},
  url = {https://link.springer.com/chapter/10.1007/978-3-032-15981-6_3}
}