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 2 of 2 for “"Patch Correctness Checking"”.

  1. Attention: not just another dataset for patch-correctness checking

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

    uiuc Repository record for Attention: not just another dataset for patch-correctness checking (opens in a new tab)

  2. 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)