E-LIB Suche - Ergebnisse für: Brun, Yuriy

1

My Model is Unfair, Do People Even Care? Visual Design Affe..:

Gaba, Aimen ; Kaufman, Zhanna ; Cheung, Jason...
IEEE Transactions on Visualization and Computer Graphics. 30 (2024) 1 - p. 327-337 , 2024

Link: https://doi.org/10.1109/..

2

Automated Program Repair, What Is It Good For? Not Absolute..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Eladawy, Hadeel ; Goues, Claire Le ; Brun, Yuriy - p. 1021-1033 , 2024

Link: https://doi.org/10.1145/..

3

Automated Program Repair, What Is It Good For? Not Absolute..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Eladawy, Hadeel ; Le Goues, Claire ; Brun, Yuriy - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

4

Passport: Improving Automated Formal Verification Using Ide..:

Sanchez-Stern, Alex ; First, Emily ; Zhou, Timothy...
ACM Transactions on Programming Languages and Systems. 45 (2023) 2 - p. 1-30 , 2023

Link: https://doi.org/10.1145/..

5

Better Automatic Program Repair by Using Bug Reports and Te..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Motwani, Manish ; Brun, Yuriy - p. 1225-1237 , 2023

Link: https://doi.org/10.1109/..

6

Baldur: Whole-Proof Generation and Repair with Large Langua..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

First, Emily ; Rabe, Markus N. ; Ringer, Talia. - p. 1229-1241 , 2023

Link: https://dl.acm.org/doi/1..

7

Understanding Why and Predicting When Developers Adhere to ..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Motwani, Manish ; Brun, Yuriy - p. 432-444 , 2023

Link: https://doi.org/10.1109/..

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),

Talebipour, Saghar ; Park, Hyojae ; Baral, Kesina... - p. 83-87 , 2023

Link: https://doi.org/10.1109/..

9

Seldonian Toolkit: Building Software with Safe and Fair Mac..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Hoag, Austin ; Kostas, James E. ; da Silva, Bruno Castro.. - p. 107-111 , 2023

Link: https://doi.org/10.1109/..

10

International Workshop on Automated Program Repair APR 2023..:

, In: 2023 IEEE/ACM International Workshop on Automated Program Repair (APR),

Tan, Shin Hwei ; Kim, Dongsun ; Mechtaev, Sergey. - p. vii-vii , 2023

Link: https://doi.org/10.1109/..

11

Blindspots in Python and Java APIs Result in Vulnerable Cod:

Brun, Yuriy ; Lin, Tian ; Somerville, Jessie Elise..
ACM Transactions on Software Engineering and Methodology. 32 (2023) 3 - p. 1-31 , 2023

Link: https://doi.org/10.1145/..

12

PRoofster: Automated Formal Verification:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Agrawal, Arpan ; First, Emily ; Kaufman, Zhanna... - p. 26-30 , 2023

Link: https://doi.org/10.1109/..

13

Fairkit, fairkit, on the wall, who's the fairest of them al..:

Johnson, Brittany ; Bartola, Jesse ; Angell, Rico...
EURO Journal on Decision Processes. 11 (2023) - p. 100031 , 2023

Link: https://doi.org/10.1016/..

14

Diversity-driven automated formal verification:

, In: Proceedings of the 44th International Conference on Software Engineering,

First, Emily ; Brun, Yuriy - p. 749-761 , 2022

Link: https://dl.acm.org/doi/1..

15

Diversity-Driven Automated Formal Verification:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

First, Emily ; Brun, Yuriy - p. 01-13 , 2022

Link: https://doi.org/10.1145/..