Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 5 of 5 for “"Automated Program Repair"”.

  1. Enhancing automated debugging for java programs through data-flow analysis and automated program repair

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms

    uiuc Repository record for Enhancing automated debugging for java programs through data-flow analysis and automated program repair (opens in a new tab)

  2. When automated program repair meets regression testing – An extensive study on 2 million patches

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms

    uiuc Repository record for When automated program repair meets regression testing – An extensive study on 2 million patches (opens in a new tab)

  3. FORMAL VERIFICATION-BASED PROGRAM REPAIR

    Automated program repair has been an active research field in software engineering in the last decade. It aims to help developers automatically localize and fix program bugs, consequently reducing debugging efforts. Automated repair tools have been incorporated into continuous integration and code …

    nus Repository record for FORMAL VERIFICATION-BASED PROGRAM REPAIR (opens in a new tab)

  4. Harnessing large language models for software engineering

    Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2026-12-01

    uiuc Repository record for Harnessing large language models for software engineering (opens in a new tab)

  5. Neutral Networks of Real-World Programs and their Application to Automated Software Evolution

    … software is amenable to improvement through automated evolutionary techniques. This dissertation presents empirical evidence that software is inherently robust to small randomized program transformations, or 'mutations. Simple and general mutation operations are demonstrated that can be …

    unm Repository record for Neutral Networks of Real-World Programs and their Application to Automated Software Evolution (opens in a new tab)