Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.

Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu

Browse the full ISoLA paper archive.