In data veritas: data driven testing for distributed systems.

Ramesh Subramonian, Kishore Gopalakrishna, Kapil Surlaker, Bob Schulman, Mihir Gandhi, Sajid Topiwala, David Zhang, Zhen Zhang

Browse the full SIGMOD paper archive.