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