Author:
Nguyen Thanhvu,Nguyen Kim Hao,Dwyer Matthew
Funder
NSF
Defense Advanced Research Projects Agency ARCOS
Army Research Office
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A novel data-driven approach on inferring loop invariants for C programs;Journal of Computer Languages;2022-08
2. SymInfer: Inferring Numerical Invariants using Symbolic States;2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2022-05