Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Claire Le Goues"'
Publikováno v:
IEEE Transactions on Software Engineering. 48:4535-4552
Testing plays an essential role in ensuring the safety and quality of cyberphysical systems (CPSs). One of the main challenges in automated and software-in-the-loop simulation testing of CPSs is defining effective oracles that can check that a given
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f059fb69be079b00f9e645afef7b57e9
https://doi.org/10.1109/tse.2021.3120680
https://doi.org/10.1109/tse.2021.3120680
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:
Kevin Leach, Christopher S. Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues, Westley Weimer
Publikováno v:
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::311d7d3b2abf5ca6e3170b7d44570000
https://doi.org/10.1109/issre55969.2022.00018
https://doi.org/10.1109/issre55969.2022.00018
Publikováno v:
IEEE Software. 38:22-27
Programming mistakes of all kinds-in source code, configurations, tests, or other artifacts-are a wide-ranging and expensive problem. Developers dedicate a significant proportion of engineering time and effort to finding and fixing bugs in their code
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f2bf509cc03a5cd56c14c9b87e2d51b
https://doi.org/10.1109/ms.2021.3072577
https://doi.org/10.1109/ms.2021.3072577
Publikováno v:
Cruz, A, Varshosaz, M, Le Goues, C & Wasowski, A 2022, ' Patching Locking Bugs Statically with Crayons ', ACM Transactions on Software Engineering and Methodology . https://doi.org/10.1145/3548684
The Linux Kernel is a world-class operating system controlling most of our computing infrastructure: mobile devices, Internet routers and services, and most of the supercomputers. Linux is also an example of low-level software with no comprehensive r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::771fadcb5f25151e19fe2a5265724065
https://pure.itu.dk/ws/files/101336666/3548684.pdf
https://pure.itu.dk/ws/files/101336666/3548684.pdf
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b45d3b7fd957967353302ad6b58bd7a5
https://doi.org/10.1145/3510457.3513072
https://doi.org/10.1145/3510457.3513072
Publikováno v:
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6212fa265c6e7857d7b8caaf7b7b636
https://doi.org/10.1145/3497776.3517765
https://doi.org/10.1145/3497776.3517765
Publikováno v:
2022 IEEE 19th International Conference on Software Architecture (ICSA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5f93fa4ac706e32f73e9937d5cd8e49
https://doi.org/10.1109/icsa53651.2022.00019
https://doi.org/10.1109/icsa53651.2022.00019
Publikováno v:
ACM Transactions on Autonomous and Adaptive Systems. 15:1-36
Many software systems operate in environments of change and uncertainty. Techniques for self-adaptation allow these systems to automatically respond to environmental changes, yet they do not handle changes to the adaptive system itself, such as the a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8723e5390cd4f5f4681e3ff620d48db0
https://doi.org/10.1145/3440119
https://doi.org/10.1145/3440119