Author:
Enst Michael D.,Czeisler Adam,Griswold William G.,Notkin David
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring Automatic Specification Repair in Dafny Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW);2023-09-11
2. Mostly Automated Proof Repair for Verified Libraries;Proceedings of the ACM on Programming Languages;2023-06-06
3. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. Application-Aware Reliability and Security: The Trusted Illiac Experience;Springer Series in Reliability Engineering;2022-07-26
5. Digging into Semantics: Where Do Search-Based Software Repair Methods Search?;Lecture Notes in Computer Science;2022