TY  - JOUR
AU  - Riesco Rodríguez, Adrián
AU  - Rodríguez Hortalá, Juan
PY  - 2019
DO  - 10.1017/S1471068419000012
SN  - 1471-0684
UR  - https://hdl.handle.net/20.500.14352/91461
T2  - Theory and Practice of Logic Programming
AB  - Stream processing has reached the mainstream in the last years, as a new generation of open source distributed stream processing systems, designed for scaling horizontally on commodity hardware, has brought the capability for processing high volume...
LA  - eng
PB  - Cambridge University Press
KW  - Property-based testing
KW  - Linear temporal logic
KW  - First-order modal logic
KW  - Spark Streaming
KW  - Scala
TI  - Property-Based Testing for Spark Streaming
TY  - journal article
VL  - 19
ER  -