@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}, }