Computation Tree Logic Guided Program Repair
| Title: | Computation Tree Logic Guided Program Repair |
|---|---|
| Authors: | Liu, Yu; Song, Yahui; Mirchev, Martin; Roychoudhury, Abhik |
| Contributors: | Singapore Ministry of Education (MoE) Tier 3 |
| Source: | IEEE Transactions on Software Engineering ; volume 52, issue 1, page 321-337 ; ISSN 0098-5589 1939-3520 2326-3881 |
| Publisher Information: | Institute of Electrical and Electronics Engineers (IEEE) |
| Publication Year: | 2026 |
| Document Type: | article in journal/newspaper |
| Language: | unknown |
| DOI: | 10.1109/tse.2025.3625772 |
| Availability: | https://doi.org/10.1109/tse.2025.3625772; http://xplorestaging.ieee.org/ielx8/32/11346545/11218954.pdf?arnumber=11218954 |
| Rights: | https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: | edsbas.FFCC0AF8 |
| Database: | BASE |