Hi all, Recently, my colleagues at Complutense University of Madrid and I developed a testing library for Flink. The library extends on ScalaCheck to allow you to specify random generators of streams using temporal logic. You can also write assertions as temporal logic formulas. If you are interested please take a look to our wiki <https://github.com/demiourgoi/flink-check/blob/master/flink-check/README.md>, or to a related open access paper <https://ieeexplore.ieee.org/abstract/document/8868163> describing the library.
Greetings, Juan
