FlinkCheck: Property-Based Testing for Apache Flink. - Cristina Valentina Espinosa; Enrique Martin-Martin; Adrián Riesco 001; Juan Rodríguez-Hortalá (IEEE Access, 2019)