@article{MET:JSEP2024,
  author = {Zhang, Yuqi and Huang, Yu and Wei, Hengfeng and Ma, Xiaoxing},
  title = {Model-checking-driven explorative testing of {CRDT} designs and implementations},
  journal = {Journal of Software: Evolution and Process},
  year = {2024},
  volume = {36},
  number = {4},
  pages = {e2555},
  doi = {10.1002/smr.2555},
  url = {https://doi.org/10.1002/smr.2555}
}