Author:
Sharma Rahul,Gupta Saurabh,Hariharan Bharath,Aiken Alex,Nori Aditya V.
Publisher
Springer Berlin Heidelberg
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Probabilistic Counterexample Guidance for Safer Reinforcement Learning;Quantitative Evaluation of Systems;2023
4. Learning to Synthesize Relational Invariants;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
5. Software model-checking as cyclic-proof search;Proceedings of the ACM on Programming Languages;2022-01-12