Search for persons
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
2
Automated Program Repair, What Is It Good For? Not Absolute..:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
3
Automated Program Repair, What Is It Good For? Not Absolute..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ,
5
Better Automatic Program Repair by Using Bug Reports and Te..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
Baldur: Whole-Proof Generation and Repair with Large Langua..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ,
7
Understanding Why and Predicting When Developers Adhere to ..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
8
Avgust: A Tool for Generating Usage-Based Tests from Videos..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
9
Seldonian Toolkit: Building Software with Safe and Fair Mac..:
, In:
?
2023 IEEE/ACM International Workshop on Automated Program Repair (APR) ,
10
International Workshop on Automated Program Repair APR 2023..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
12
PRoofster: Automated Formal Verification:
, In:
?
Proceedings of the 44th International Conference on Software Engineering ,
14
Diversity-driven automated formal verification:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ,
15