Huiyan Wang

Orcid: 0000-0001-6879-1628

Affiliations:
  • Nanjing University, Nanjing, Jiangsu, China


According to our database1, Huiyan Wang authored at least 18 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Incremental-concurrent fusion checking for efficient context consistency.
J. Syst. Softw., January, 2024

2023
Freeze-and-mutate: abnormal sample identification for DL applications through model core analysis.
Autom. Softw. Eng., June, 2023

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints.
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.
J. Comput. Sci. Technol., 2022

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021
Generic Adaptive Scheduling for Efficient Context Inconsistency Detection.
IEEE Trans. Software Eng., 2021

Towards effective metamorphic testing by algorithm stability for linear classification programs.
J. Syst. Softw., 2021

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint.
Inf. Softw. Technol., 2021

2020
WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.
J. Syst. Softw., 2020

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Dissector: input validation for deep learning applications by crossing-layer dissection.
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.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
SynEva: Evaluating ML Programs by Mirror Program Synthesis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016


  Loading...