Author:
Lin Yingwen,Zhang Yao,Chen Sen,Song Fu,Xie Xiaofei,Li Xiaohong,Sun Lintan
Funder
National Science Foundation
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification;Lecture Notes in Computer Science;2024
2. Large-scale analysis of non-termination bugs in real-world OSS projects;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. A novel data-driven approach on inferring loop invariants for C programs;Journal of Computer Languages;2022-08
4. VICO;Proceedings of the 36th ACM International Conference on Supercomputing;2022-06-28