Genetic Programming Bibliography entries for Yuriy Brun
up to index
Created by W.Langdon from
Kathryn T Stolee,
Claire Le Goues,
Edward K Smith,
Genetic Programming Articles by Yuriy Brun
Genetic Programming conference papers by Yuriy Brun
Manish Motwani and Yuriy Brun.
Better Automatic Program Repair by Using Bug Reports and Tests Together. In
John Grundy editor,
Proceedings of the 45th International Conference on Software Engineering, ICSE 2023, 2023.
Arpan Agrawal and Emily First and Zhanna Kaufman and Tom Reichel and Shizhuo Zhang and Timothy Zhou and Alex Sanchez-Stern and Talia Ringer and Yuriy Brun.
Proofster: Automated Formal Verification. In
Proceedings of the Demonstrations Track at the 45th International Conference on Software Engineering (ICSE), Melbourne, 2023.
Emily First and Yuriy Brun.
Diversity-Driven Automated Formal Verification. In
Proceedings of the 44th International Conference on Software Engineering (ICSE), Pittsburgh, PA, USA, 2022. ACM.
ACM SIGSOFT Distinguished Paper Award.
Emily First and Yuriy Brun and Arjun Guha.
TacTok: Semantics-Aware Proof Synthesis. In
Proceedings of the ACM on Programming Languages (PACMPL) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) issue, page Article No. 231, 2020. ACM.
Aaron Weiss and Arjun Guha and Yuriy Brun.
Tortoise: Interactive System Configuration Repair. In
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 625-636, Urbana, IL, USA, 2017.
Edward K. Smith and Earl T. Barr and Claire Le Goues and Yuriy Brun.
Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair. In
Mark Harman and Patrick Heymans editors,
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), pages 532-543, Bergamo, Italy, 2015. ACM.
Yalin Ke and Kathryn T. Stolee and Claire Le Goues and Yuriy Brun.
Repairing Programs with Semantic Code Search. In
Lars Grunske and Michael Whalen editors,
30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pages 295-306, Lincoln, Nebraska, USA, 2015. IEEE Computer Society.
Genetic Programming technical reports by Yuriy Brun