INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion

Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
October, 2022
PDF Cite Code Slides DOI
Type
Conference paper
Publication
Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution
Lingyu Zhang
Lingyu Zhang
Ph.D. Student In Computer Science and Technology