Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Sergey Mechtaev"'
Publikováno v:
IEEE Transactions on Software Engineering
API misuses are well-known causes of software crashes and security vulnerabilities. However, their detection and repair is challenging given that the correct usages of (third-party) APIs might be obscure to the developers of client programs. This pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::438ded94c82dd3e6b969d706a8b1c554
https://doi.org/10.1109/tse.2021.3067156
https://doi.org/10.1109/tse.2021.3067156
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87291a36f6c7e376b53c8338d5c392f8
https://doi.org/10.1007/978-3-031-27481-7_7
https://doi.org/10.1007/978-3-031-27481-7_7
Publikováno v:
2022 International Conference on Information Technology Research and Innovation (ICITRI).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c199e5db5aa28b8fca6691ac69d44190
https://doi.org/10.1109/icitri56423.2022.9970223
https://doi.org/10.1109/icitri56423.2022.9970223
Publikováno v:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f48b58ce823a2c29ca5e9f1e75d6e74
https://doi.org/10.1145/3540250.3549133
https://doi.org/10.1145/3540250.3549133
Publikováno v:
Proceedings of the 2nd International Workshop on Equitable Data and Technology.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74a072870f08c5113fd9edcb5e779d6f
https://doi.org/10.1145/3524491.3527306
https://doi.org/10.1145/3524491.3527306
Publikováno v:
2021 IEEE/ACM International Workshop on Automated Program Repair (APR).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::776a92a377807b3e34647e568aa13d2c
https://doi.org/10.1109/apr52552.2021.00005
https://doi.org/10.1109/apr52552.2021.00005
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 27:1-37
Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading student ass
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b75946b33a5f20e9f5ae13a1e4e25a45
https://doi.org/10.1145/3241980
https://doi.org/10.1145/3241980
Publikováno v:
ASE
Automated program repair has been used to provide feedback for incorrect student programming assignments, since program repair captures the code modification needed to make a given buggy program pass a given test-suite. Existing student feedback gene
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ace938902b1fcc98aa43ac977a1234e9
https://doi.org/10.1109/ase.2019.00044
https://doi.org/10.1109/ase.2019.00044
Publikováno v:
ISSTA
Existing program repair systems modify a buggy program so that the modified program passes given tests. The repaired program may not satisfy even the most basic notion of correctness, namely crash-freedom. In other words, repair tools might generate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::deab6f6d8bc4978f9fd8718dbc3898c0
https://doi.org/10.1145/3293882.3330558
https://doi.org/10.1145/3293882.3330558
Publikováno v:
IEEE Transactions on Software Engineering. :1-1
The goal of program repair is to eliminate a bug in a given program by automatically modifying its source code. The majority of real-world software is written in imperative programming languages. Each function or expression in imperative code may hav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e7b0d96df06bcbdab3b3110104cbd16
https://doi.org/10.1109/tse.2021.3124323
https://doi.org/10.1109/tse.2021.3124323