Zobrazeno 1 - 10
of 402
pro vyhledávání: '"Yuriy, Brun"'
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-31
Blindspots in APIs can cause software engineers to introduce vulnerabilities, but such blindspots are, unfortunately, common. We study the effect APIs with blindspots have on developers in two languages by replicating a 109-developer, 24-Java-API con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e974f54675f5b683d7775547538e91e
https://doi.org/10.1145/3571850
https://doi.org/10.1145/3571850
Publikováno v:
IEEE Transactions on Software Engineering. 48:637-661
Automated program repair is a promising approach to reducing the costs of manual debugging and increasing software quality. However, recent studies have shown that automated program repair techniques can be prone to producing patches of low quality,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::887420a0447a191740fdc09ec5930158
https://doi.org/10.1109/tse.2020.2998785
https://doi.org/10.1109/tse.2020.2998785
Publikováno v:
IEEE Transactions on Software Engineering. 47:2162-2181
Automated program repair holds the potential to significantly reduce software maintenance effort and cost. However, recent studies have shown that it often produces low-quality patches that repair some but break other functionality. We hypothesize th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c431fcf99559363604a25829af6a5c99
https://doi.org/10.1109/tse.2019.2944914
https://doi.org/10.1109/tse.2019.2944914
Autor:
Yuriy Brun
Publikováno v:
Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3953bcb192ff8fa72e9e31bd14edc20
https://doi.org/10.1145/3549034.3570200
https://doi.org/10.1145/3549034.3570200
Autor:
Emily First, Yuriy Brun
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0dce95cc888eb6dcb2bbbae48839c8a7
https://doi.org/10.1145/3510003.3510138
https://doi.org/10.1145/3510003.3510138
Autor:
Brittany Johnson, Yuriy Brun
Publikováno v:
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dce79e21da5ea47ff7f7e705b6e7f18d
https://doi.org/10.1109/icse-companion55297.2022.9793775
https://doi.org/10.1109/icse-companion55297.2022.9793775
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-31
Formally verifying software correctness is a highly manual process. However, because verification proof scripts often share structure, it is possible to learn from existing proof scripts to fully automate some formal verification. The goal of this pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c477b09917d6eb572ae65cf27344ded
https://doi.org/10.1145/3428299
https://doi.org/10.1145/3428299
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 29:1-38
Distributed systems pose unique challenges for software developers. Understanding the system’s communication topology and reasoning about concurrent activities of system hosts can be difficult. The standard approach, analyzing system logs, can be a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4aa8e92f33771946e0eeb18051011a06
https://doi.org/10.1145/3375633
https://doi.org/10.1145/3375633
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive. Tools that automate formal verification by learning from proof corpor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a9b2017cc485608cde6861161290846
Autor:
Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidović, Kevin Moran
Writing and maintaining UI tests for mobile apps is a time-consuming and tedious task. While decades of research have produced automated approaches for UI test generation, these approaches typically focus on testing for crashes or maximizing code cov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39cf43347551173f7d373bc9b26b68cd