Huaien Zhang
Orcid: 0000-0001-6498-5062
According to our database1,
Huaien Zhang
authored at least 5 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Softw. Eng., 2024
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
2023
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 2nd IEEE/ACM International Workshop on Natural Language-Based Software Engineering, 2023