Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.

Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang

Browse the full SETTA paper archive.