Localization of Linearizability Faults on the Coarse-grained Level.

Zhenya Zhang, Peng Wu, Yu Zhang

Browse the full SEKE paper archive.