Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems |
| Συγγραφείς: |
Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madanlal Musuvathi, Suman Nath |
| Πηγή: |
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles. :63-78 |
| Στοιχεία εκδότη: |
ACM, 2024. |
| Έτος έκδοσης: |
2024 |
| Περιγραφή: |
Retry---the re-execution of a task on failure---is a common mechanism to enable resilient software systems. Yet, despite its commonality and long history, retry remains difficult to implement and test. Guided by our study of real-world retry issues, we propose a novel suite of static and dynamic techniques to detect retry problems in software. We find that the ad-hoc nature of retry implementation poses challenges for traditional program analysis but can be well suited for large language models; and that carefully repurposing existing unit tests can, along with fault injection, expose various types of retry problems. |
| Τύπος εγγράφου: |
Article |
| DOI: |
10.1145/3694715.3695971 |
| Rights: |
CC BY NC SA |
| Αριθμός Καταχώρησης: |
edsair.doi.dedup.....ecd727f92ac2827bf3fd207eaabe8e3d |
| Βάση Δεδομένων: |
OpenAIRE |