Funder
National Natural Science Foundation of China
Fok Ying-Tong Education Foundation
National Research Program of China
Ministry of Education Innovation Research Team
Fundamental Research Funds for the Central Universities
US National Science Foundation
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding;Proceedings of the ACM on Programming Languages;2024-06-20
2. Automated test data generation and stubbing method for C/C++ embedded projects;Automated Software Engineering;2024-06-10
3. Concrete Constraint Guided Symbolic Execution;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. Test Generation for Mutation Testing by Symbolic Execution;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
5. BDGSE: A Symbolic Execution Technique for High MC/DC;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22