Huiyan Wang

According to our database, Huiyan Wang authored at least 21 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation.

Shu-Hui Zhang, Rong Yang, Lingyu Zhang, Han Li, Ming-Xiao Wang, Mingchen Gao, Hao-Ming Hu, Hui-Yan Wang, Yi Qin, Chang Xu

J. Comput. Sci. Technol., July, 2025

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation.

Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu

Softw. Test. Verification Reliab., January, 2025

2024

Incremental-concurrent fusion checking for efficient context consistency.

Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu

J. Syst. Softw., January, 2024

Testing Constraint Checking Implementations via Principled Metamorphic Transformations.

Mingchen Gao, Huiyan Wang, Chang Xu

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis.

Huiyan Wang, Ziqi Chen, Chang Xu

Autom. Softw. Eng., June, 2023

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.

Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments.

Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu

J. Comput. Sci. Technol., 2022

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection.

Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion.

Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.

Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu

IEEE Trans. Software Eng., 2021

Towards effective metamorphic testing by algorithm stability for linear classification programs.

Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma

J. Syst. Softw., 2021

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint.

Shuguan Liu, Huiyan Wang, Chang Xu

Inf. Softw. Technol., 2021

2020

WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.

Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, Da Li

J. Syst. Softw., 2020

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.

Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Dissector: input validation for deep learning applications by crossing-layer dissection.

Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.

Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.

Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.

Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

SynEva: Evaluating ML Programs by Mirror Program Synthesis.

Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.

Bingying Guo, Huiyan Wang, Chang Xu, Jian Lu

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.

Huiyan Wang, Chang Xu, Jun Sui, Jian Lu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016