1. Concrete Constraint Guided Symbolic Execution;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
2. An Ethological Analysis of Developmental Behavior in Machines;2023 IEEE International Conference on Development and Learning (ICDL);2023-11-09
3. BDGSE: A Symbolic Execution Technique for High MC/DC;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
4. Compiling Parallel Symbolic Execution with Continuations;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03