Incremental-Concurrent Fusion Checking for Efficient Context Consistency

Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu
January, 2024
PDF Cite DOI
Type
Journal article
Publication
The Journal of Systems and Software
Lingyu Zhang
Lingyu Zhang
Ph.D. Student In Computer Science and Technology