Property-Based Testing for Spark Streaming (Q4957189)
From MaRDI portal
scientific article; zbMATH DE number 7390843
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Property-Based Testing for Spark Streaming |
scientific article; zbMATH DE number 7390843 |
Statements
Property-Based Testing for Spark Streaming (English)
0 references
3 September 2021
0 references
property-based testing
0 references
linear temporal logic
0 references
first-order modal logic
0 references
Spark Streaming
0 references
Scala
0 references
