A tool for verification of big-data applications.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu

Browse the full ISSTA paper archive.