How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study. - Huiyan Wang 001; Chang Xu 001; Jun Sui; Jian Lu 001 (QRS, 2016)

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection. - Bingying Guo; Huiyan Wang 001; Chang Xu 001; Jian Lu 001 (ICSME, 2017)

SynEva: Evaluating ML Programs by Mirror Program Synthesis. - Yi Qin 002; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (QRS, 2018)

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. - Ziqi Chen; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Chun Cao (APSEC, 2019)

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. - Da Li; Huiyan Wang 001; Chang Xu 001; Ruiqing Zhang; Shing-Chi Cheung; Xiaoxing Ma (ASE, 2019)

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. - Da Li; Huiyan Wang 001; Chang Xu 001; Fengmin Shi; Xiaoxing Ma; Jian Lu 001 (QRS, 2019)

Dissector: input validation for deep learning applications by crossing-layer dissection. - Huiyan Wang 001; Jingwei Xu 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (ICSE, 2020)

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. - Jinchi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (Internetware, 2020)

WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements. - Yicheng Huang; Chang Xu 001; Yanyan Jiang 001; Huiyan Wang 001; Da Li (J. Syst. Softw., 2020)

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint. - Shuguan Liu; Huiyan Wang 001; Chang Xu 001 (Inf. Softw. Technol., 2021)

Towards effective metamorphic testing by algorithm stability for linear classification programs. - Yingzhuo Yang; Zenan Li; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma (J. Syst. Softw., 2021)

Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. - Huiyan Wang 001; Chang Xu 001; Bingying Guo; Xiaoxing Ma; Jian Lu 001 (IEEE Trans. Software Eng., 2021)

INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. - Lingyu Zhang 005; Huiyan Wang 001; Chang Xu 001; Ping Yu 004 (ICSME, 2022)

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. - Chuyang Chen; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (ISSRE, 2022)

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments. - Jin-Chi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (J. Comput. Sci. Technol., 2022)

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. - Huiyan Wang 001; Shuguan Liu; Lingyu Zhang 005; Chang Xu 001 (ESEC/SIGSOFT FSE, 2023)

Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis. - Huiyan Wang 001; Ziqi Chen; Chang Xu 001 (Autom. Softw. Eng., 2023)

Testing Constraint Checking Implementations via Principled Metamorphic Transformations. - Mingchen Gao; Huiyan Wang 001; Chang Xu (SANER, 2024)

Incremental-concurrent fusion checking for efficient context consistency. - Lingyu Zhang 005; Huiyan Wang 001; Chuyang Chen; Chang Xu 001; Ping Yu 004 (J. Syst. Softw., 2024)

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. - Chuyang Chen; Huiyan Wang 001; Lingyu Zhang 005; Chang Xu 001; Ping Yu 004 (Softw. Test. Verification Reliab., 2025)