Conference
Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs
| Τίτλος: | Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs |
|---|---|
| Συγγραφείς: | Martin, Taythir G, Podorozhny, Rodion, Ahmed, Shibbir |
| Πηγή: | Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension. :448-452 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3794763.3794793 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3794763.3794793 |
|---|