Publications

[CCF-B] Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Software Testing, Verification and Reliability (STVR) , Vol. , Article , 2024, forthcoming.

PDF

[CCF-B] Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS) , Vol. 207, Article 111852, Jan 2024.

PDF Cite DOI

[CCF-A] Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu. Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023) , pp. 198-210, San Francisco, California, USA, Dec 2023.

PDF Cite DOI

[CCF-B] Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedins of the 33rd International Symposium on Software Reliability Engineering (ISSRE 2022) , pp. 13-24, Charlotte, NC, USA, Nov 2022.

PDF Cite DOI

[CCF-B] Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu. INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. In Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022) , pp. 187-198, Limassol, Cyprus, Oct 2022.

PDF Cite Code Slides DOI

[CCF-A] Lingyu Zhang, Yafeng Yin, Lei Xie, Sanglu Lu. HmwkCheck: a homework auto-checking system based on arithmetic operation recognition using smartphones. In Adjunct Proceedings of the 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2020 ACM International Symposium on Wearable Computers (UbiComp-ISWC 2020 Poster) , pp. 172-175, Virtual conference, Sep 2020.

PDF Cite Code DOI