Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Property-based testing for Spark Streaming   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 and high velocity data streams to companies of all
sizes. In this work we propose a combination of temporal logic and
property-based testing (PBT) for dealing with the challenges of testing
programs that employ this programming model. We formalize our approach in a
discrete time temporal logic for finite words, with some additions to improve
the expressiveness of properties, which includes timeouts for temporal
operators and a binding operator for letters. In particular we focus on testing
Spark Streaming programs written with the Spark API for the functional language
Scala, using the PBT library ScalaCheck. For that we add temporal logic
operators to a set of new ScalaCheck generators and properties, as part of our
testing library sscheck. Under consideration in Theory and Practice of Logic
Programming (TPLP).

4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat