Shiwen Yu, Ting Wang 0009, Ji Wang 0001. Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 175-187, ACM, 2023. [doi]
Abstract is missing.