Author:
D’Antoni Loris,Samanta Roopsha,Singh Rishabh
Publisher
Springer International Publishing
Reference33 articles.
1. Alur, R., D’Antoni, L., Gulwani, S., Kini, D., Viswanathan, M.: Automated grading of dfa constructions. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 1976–1982. AAAI Press (2013)
2. Arcuri, A.: On the automation of fixing software bugs. In: International Conference on Software Engineering (ICSE), pp. 1003–1006. ACM (2008)
3. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: Principles of Programming Languages (POPL), pp. 97–105. ACM (2003)
4. Cerný, P., Henzinger, T.A.: From Boolean to quantitative synthesis. In: Proceedings of the 11th International Conference on Embedded Software (EMSOFT), pp. 149–154 (2011)
5. Cerný, P., Henzinger, T.A., Radhakrishna, A.: Simulation distances. Theor. Comput. Sci. 413(1), 21–35 (2012)
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Flexible control flow graph alignment for delivering data-driven feedback to novice programming learners;Journal of Systems and Software;2024-04
3. Improved Program Repair Methods using Refactoring with GPT Models;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07
4. Baldur: Whole-Proof Generation and Repair with Large Language Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Quantitative Policy Repair for Access Control on the Cloud;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12