Zobrazeno 1 - 10
of 179
pro vyhledávání: '"Abhik Roychoudhury"'
Autor:
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-33
Implementing bug-free concurrent programs is a challenging task in modern software development. State-of-the-art static analyses find hundreds of concurrency bugs in production code, scaling to large codebases. Yet, fixing these bugs in constantly ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfbfd210985053651304c0c53add2b17
https://doi.org/10.1145/3546942
https://doi.org/10.1145/3546942
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 31:1-31
Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comparing its behavior with an instructor’s reference program on selecte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d3a57be53bd13a975532b385153f554
https://doi.org/10.1145/3510418
https://doi.org/10.1145/3510418
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:
IEEE Transactions on Software Engineering. 47:2504-2519
The Spectre vulnerability in modern processors has been widely reported. The key insight in this vulnerability is that speculative execution in processors can be misused to access the secrets. Subsequently, even though the speculatively executed inst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f72e099899cb18b78e31b327a85ea84
https://doi.org/10.1109/tse.2019.2953709
https://doi.org/10.1109/tse.2019.2953709
Autor:
Abhik Roychoudhury, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Ridwan Shariffdeen, Xiang Gao
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-27
Use of third-party libraries is extremely common in application software. The libraries evolve to accommodate new features or mitigate security vulnerabilities, thereby breaking the Application Programming Interface(API) used by the software. Such br
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70285bbdf7dd012c0e9028bae9d1fdc5
https://doi.org/10.1145/3485538
https://doi.org/10.1145/3485538
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Greybox fuzzing is a proven and effective testing method for the detection of security vulnerabilities and other bugs in modern software systems. Greybox fuzzing can also be used in combination with a sanitizer, such as AddressSanitizer (ASAN), to fu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::171b368d545fd6b9e7fa7306e302d0b5
https://doi.org/10.1145/3551349.3561161
https://doi.org/10.1145/3551349.3561161
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:
ACM Transactions on Software Engineering and Methodology. 30:1-27
Automated program repair is an emerging technology that seeks to automatically rectify program errors and vulnerabilities. Repair techniques are driven by a correctness criterion that is often in the form of a test suite. Such test-based repair may p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9b97db73452df24dec70da1541b4b1b
https://doi.org/10.1145/3418461
https://doi.org/10.1145/3418461
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 30:1-36
Automated program repair is an emerging area that attempts to patch software errors and vulnerabilities. In this article, we formulate and study a problem related to automated repair, namely automated patch transplantation. A patch for an error in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e3e8965b3e6b92766104be735c95f90
https://doi.org/10.1145/3412376
https://doi.org/10.1145/3412376
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering.
Automated program repair is an emerging technology that seeks to automatically rectify bugs and vulnerabilities using learning, search, and semantic analysis. Trust in automatically generated patches is necessary for achieving greater adoption of pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e417089535418495c6ae625fd8db123c
https://doi.org/10.1145/3510003.3510040
https://doi.org/10.1145/3510003.3510040