1. An Automated Stub Method for Unit Testing C/C++ Projects;2022 14th International Conference on Knowledge and Systems Engineering (KSE);2022-10-19
2. ASE: A Value Set Decision Procedure for Symbolic Execution;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
3. DSGEN;Proceedings of the ACM International Conference on Supercomputing;2021-06-03
4. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security;Synthesis Lectures on Software Engineering;2020-05-13
5. Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis;Advances in Computers;2019