@article{zhang2024incremental-concurrent,
  title = {Incremental-Concurrent Fusion Checking for Efficient Context Consistency},
  author = {Zhang, Lingyu and Wang, Huiyan and Chen, Chuyang and Xu, Chang and Yu, Ping},
  year = {2024},
  journal = {{Journal of Systems and Software (JSS)}},
  volume = {207},
  pages = {111852},
  publisher = {Elsevier},
  urldate = {2025-06-07},
  copyright = {All rights reserved},
}