1. DTD: Comprehensive and Scalable Testing for Debuggers;Proceedings of the ACM on Software Engineering;2024-07-12
2. Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving;IEEE Transactions on Software Engineering;2023-11
5. SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12