Property-Based Testing for Spark Streaming
From MaRDI portal
Publication:4957189
DOI10.1017/S1471068419000012zbMath1472.68041arXiv1812.11838OpenAlexW2963212537WikidataQ128351395 ScholiaQ128351395MaRDI QIDQ4957189
Juan Rodríguez-Hortalá, Adrián Riesco
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.11838
Theory of programming languages (68N15) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Property-Based Testing for Spark Streaming