[SANER2024] Mingchen Gao, Huiyan Wang*, and Chang Xu. Testing Constraint Checking Implementations via Principled Metamorphic Transformations. Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024), Rovaniemi, Finland, Mar 2024.[acceptance rate: 25.6%][pdf][CCF-B]
[JSS2024] Lingyu Zhang, Huiyan Wang*, Chuyang Chen, Chang Xu, and Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS), Volume 207, Article 111852, Jan 2024.[pdf][CCF-B]
2023
[ESEC/FSE2023] Huiyan Wang, Shuguan Liu, Lingyu Zhang, and 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.[acceptance rate: 27.0%][pdf][CCF-A]
[ASEJ2023] Huiyan Wang, Ziqi Chen, and Chang Xu. Freeze-and-Mutate: Abnormal Sample Identification for DL Applications through Model Core Analysis. Journal of Automated Software Engineering (ASEJ), Vol. 30, Article 9, Jan 2023.[pdf][CCF-B]
2022
[ISSRE2022] Chuyang Chen, Huiyan Wang*, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. in Proceedings of the 38th IEEE International Symposium on Software Relibability Engineering (ISSRE 2022), pp. 13-24, Charlotte, North Carolina, USA, Oct 2022.[acceptance rate: 29.0%][pdf][best paper candidate (3/48)][CCF-B]
[ICSME2022] Lingyu Zhang, Huiyan Wang*, Chang Xu, and Ping Yu. INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. in Proceedings of the 38th International Conference on Software Maintenance and Evolution (ICSME 2022), pp. 187-198, Limassol, Cyprus, Oct 2022.[acceptance rate: 23.5%][pdf][CCF-B]
[JCST2022] Jinchi Chen, Yi Qin, Huiyan Wang, and Chang Xu. Simulation Might Change Your Results: A Comparison of Context-aware System Input Validation in Simulated and Physical Environments. Journal of Computer Science and Technology (JCST), Vol. 37, No. 1, pp. 83-105, Jan 2022.[pdf][CCF-B]
2021
[TSE2021] Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, and Jian Lu, Generic Adaptive Scheduling for Efficient Context Inconsistency Detection, IEEE Transactions on Software Engineering, Vol. 47, Iss. 3, pp. 464-497, Mar 2021.[pdf][CCF-A]
[JSS2021] Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, and Xiaoxing Ma. Towards Effective Metamorphic Testing by Algorithm Stability for Linear Classification Programs. The Journal of Systems and Software (JSS), Vol. 180, Article 111012, pp. 1-15, Oct 2021.[pdf][CCF-B]
[IST2021] Shuguan Liu, Huiyan Wang*, and Chang Xu. TIDY: A PBE-based Framework Supporting Smart Transformations for Entity Consistency in PowerPoint. Information and Software Technology (IST), Vol. 138, Article 106611, pp. 1-15, Oct 2021.[pdf][CCF-B]
2020
[ICSE2020] Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, and Jian Lu, DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection, in Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE), pp. 727-738, Seoul, South Korea, May 2020.(acceptance rate: 20.9%)[pdf] [slides][CCF-A]
[JSS2020] Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, and Da Li. WARDER: Towards Effective Spreadsheet Defect Detection by Validity-based Cell Cluster Refinements. The Journal of Systems and Software (JSS), Vol. 167, Article 110615, pp. 1-19, Sep 2020. [pdf][CCF-B]
[JCS2020] Huiyan Wang, Jingwei Xu, and Chang Xu. Survey on Runtime Input Validation for Context-aware Adaptive Software (环境感知自适应软件的运行时输入验证技术综述). Journal of Computer Science (计算机科学), Vol. 47, Iss. 6, pp. 1-7, Jun 2020.[pdf][中文CCF-B]
2019
[ASE2019] Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, and Xiaoxing Ma, SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection, in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE Tool Demo), 1142–1145, 2019.(acceptance rate: 53.7%)[pdf][CCF-A]
[APSEC2019] Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, and Chun Cao, Vision: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis, in Proceedings of the 26th Asia-Pacific Software Engineering Conference (APSEC), 78–85, 2019.(acceptance rate: 34.7%)[pdf][CCF-C]
[QRS2019] Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, and Jian Lu, WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties, in 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 139–150, 2019.[acceptance rate: 22.3%][pdf][CCF-C]
2018
[QRS2018] Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, and Jian Lu, SynEva: Evaluating ML Programs by Mirror Program Synthesis, in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 171–182, 2018.(acceptance rate: 22.3%)[pdf][CCF-C]
2017
[ICSME2017] Bingying Guo, Huiyan Wang, Chang Xu, and Jian Lu, GEAS: Generic Adaptive Scheduling for High-efficiency Context Inconsistency Detection, in 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), 137–147, 2017.(acceptance rate: 27.8%)[pdf]-[slides][CCF-B]
2016
[QRS2016] Huiyan Wang, Chang Xu, Jun Sui, and Jian Lu, How effective is branch-based combinatorial testing? An exploratory study, in Proceedings of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS2016), 41–52, 2016.(acceptance rate: 29.1%)[pdf][CCF-C]