Huiyan Wang

20 papers A* 2A 4C 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation.
Softw. Test. Verification Reliab.
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
2024 J jnl
Incremental-concurrent fusion checking for efficient context consistency.
J. Syst. Softw.
Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu
2024 A conf
Testing Constraint Checking Implementations via Principled Metamorphic Transformations.
SANER
Mingchen Gao, Huiyan Wang, Chang Xu
2023 — conf
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.
ESEC/SIGSOFT FSE
Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu
2023 J jnl
Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis.
Autom. Softw. Eng.
Huiyan Wang, Ziqi Chen, Chang Xu
2022 A conf
INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion.
ICSME
Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
2022 A conf
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection.
ISSRE
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
2022 J jnl
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments.
J. Comput. Sci. Technol.
Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu
2021 J jnl
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.
IEEE Trans. Software Eng.
Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu
2021 J jnl
TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint.
Inf. Softw. Technol.
Shuguan Liu, Huiyan Wang, Chang Xu
2021 J jnl
Towards effective metamorphic testing by algorithm stability for linear classification programs.
J. Syst. Softw.
Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma
2020 A* conf
Dissector: input validation for deep learning applications by crossing-layer dissection.
ICSE
Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
2020 — conf
Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.
Internetware
Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu
2020 J jnl
WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.
J. Syst. Softw.
Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, Da Li
2019 A* conf
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.
ASE
Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma
2019 C conf
VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.
APSEC
Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
2019 C conf
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.
QRS
Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu
2018 C conf
SynEva: Evaluating ML Programs by Mirror Program Synthesis.
QRS
Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2017 A conf
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
ICSME
Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu
2016 C conf
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
QRS
Huiyan Wang, Chang Xu, Jun Sui, Jian Lu