Diversity-Driven Automated Formal Verification
First, Emily, Brun, Yuriy
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
Better Automatic Program Repair by Using Bug Reports and Tests Together
Motwani, Manish, Brun, Yuriy
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Get full text
Conference Proceeding
Automatically Generating Precise Oracles from Structured Natural Language Specifications
Motwani, Manish, Brun, Yuriy
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Get full text
Conference Proceeding
Causal Testing: Understanding Defects' Root Causes
Johnson, Brittany, Brun, Yuriy, Meliou, Alexandra
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
Quality of Automated Program Repair on Real-World Defects
Motwani, Manish, Soto, Mauricio, Brun, Yuriy, Just, Rene, Le Goues, Claire
Published in IEEE transactions on software engineering (01.02.2022)
Published in IEEE transactions on software engineering (01.02.2022)
Get full text
Journal Article
Formal foundations of serverless computing
Jangda, Abhinav, Pinckney, Donald, Brun, Yuriy, Guha, Arjun
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
TacTok: semantics-aware proof synthesis
First, Emily, Brun, Yuriy, Guha, Arjun
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Passport: Improving Automated Formal Verification Using Identifiers
Sanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia
Published in ACM transactions on programming languages and systems (26.06.2023)
Published in ACM transactions on programming languages and systems (26.06.2023)
Get full text
Journal Article
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Afzal, Afsoon, Motwani, Manish, Stolee, Kathryn T., Brun, Yuriy, Le Goues, Claire
Published in IEEE transactions on software engineering (01.10.2021)
Published in IEEE transactions on software engineering (01.10.2021)
Get full text
Journal Article
Early Detection of Collaboration Conflicts and Risks
Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David
Published in IEEE transactions on software engineering (01.10.2013)
Published in IEEE transactions on software engineering (01.10.2013)
Get full text
Journal Article
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
Gaba, Aimen, Kaufman, Zhanna, Cheung, Jason, Shvakel, Marie, Hall, Kyle Wm, Brun, Yuriy, Bearfield, Cindy Xiong
Published in IEEE transactions on visualization and computer graphics (01.01.2024)
Published in IEEE transactions on visualization and computer graphics (01.01.2024)
Get full text
Journal Article
Do automated program repair techniques repair hard and important bugs?
Motwani, Manish, Sankaranarayanan, Sandhya, Just, René, Brun, Yuriy
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Get full text
Conference Proceeding