Brun, Yuriy

Fairness testing: testing software for discrimination

Galhotra, S., Brun, Y., & Meliou, A. (2017) · Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

Software Testing and Debugging TechniquesEthics and Social Impacts of AI

Cited by 405

The ManyBugs and IntroClass benchmarks for automated repair of C programs

Le Goues, C., Holtschulte, N., Smith, E. K., Brun, Y., Devanbu, P., Forrest, S., & Weimer, W. (2015) · IEEE Transactions on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 326

Is the cure worse than the disease? overfitting in automated program repair

Smith, E. K., Barr, E. T., Le Goues, C., & Brun, Y. (2015) · Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 323

Baldur: Whole-Proof Generation and Repair with Large Language Models

First, E., Rabe, M. N., Ringer, T., & Brun, Y. (2023) · Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Logic, programming, and type systemsFormal Methods in Verification

Cited by 94

Early Detection of Collaboration Conflicts and Risks

Brun, Y., Holmes, R., Ernst, M. D., & Notkin, D. (2013) · IEEE Transactions on Software Engineering

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 82

Synthesizing partial component-level behavior models from system specifications

Krka, I., Brun, Y., Edwards, G., & Medvidovic, N. (2009) · Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Formal Methods in VerificationModel-Driven Software Engineering Techniques

Cited by 40

Self-Adapting Reliability in Distributed Software Systems

Brun, Y., Bang, J. Y., Edwards, G., & Medvidovic, N. (2015) · IEEE Transactions on Software Engineering

Distributed systems and fault toleranceSoftware Reliability and Analysis Research

Cited by 16