Affiliation:
1. National University of Defense Technology, China
Funder
National 973 Program of China
National Natural Science Foundation of China
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boosting symbolic execution via constraint solving time prediction (experience paper);Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11
2. Multiplex symbolic execution;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
3. Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs;IEEE Transactions on Dependable and Secure Computing;2020-11-01
4. An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;Lecture Notes in Computer Science;2020
5. Just fuzz it: solving floating-point constraints using coverage-guided fuzzing;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12