1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
3. On Polyglot Program Testing;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
4. L′OP-ART: A linear-time adaptive random testing algorithm for object-oriented programs;Journal of Systems and Software;2024-05
5. LLMs for Intelligent Software Testing: A Comparative Study;Proceedings of the 7th International Conference on Networking, Intelligent Systems and Security;2024-04-18