@article{linearizability-testing, title = "Testing for Linearizability", author = "Gavin Lowe", year = "2017", journal = "Concurrency and Computation: Practice and Experience", number = "4", volume = "29", }