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 11 of 11 for “"Program Repair"”.
-
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 …
-
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
-
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
-
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
… One approach to improving software uses program invariants---mathematical descriptions of program behaviors---to verify code and detect bugs. Current invariant generation techniques lack support for complex yet important forms of invariants, such as general polynomial relations and …
-
MuAlloy : an automated mutation system for alloy
… testing for imperative languages); and (2) program repair for Alloy using mutation.
-
Mining Software Artifacts for use in Automated Machine Learning
… of software mining in areas such as code search, program synthesis, and program repair, we investigate the hypothesis that information mined from software artifacts can be used to build, improve interactions with, and address missing use cases of AutoML. In particular, I will present three systems …
-
Termination, correctness and relative correctness
… of relative correctness, the property of a program to be more-correct than another with respect to a given specification, is discussed. Subsequently, a feature of a program is a fault (for a given specification) only because there exists an alternative to it that would make the program …
-
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
-
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
-
Runtime Verification and Debugging of Concurrent Software
… concurrent software is a difficult task for programmers due to the inherent nondeterminism in their executions. As a result, concurrency related software bugs are among the most troublesome in practice and have caused severe problems in recent years. In this dissertation, I propose a series …
-
Neutral Networks of Real-World Programs and their Application to Automated Software Evolution
… is inherently robust to small randomized program transformations, or 'mutations. Simple and general mutation operations are demonstrated that can be applied to software source code, compiled assembler code, or directly to binary executables. These mutations often generate variants of …