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 4 of 4 for “"bug localization"”.
-
Source Code Retrieval from Large Software Libraries for Automatic Bug Localization
… retrieval (IR) based approaches to automatic bug localization in software. In an IR-based approach, one first creates a search engine using a probabilistic or a deterministic model for the files in a software library. Subsequently, a bug report is treated as a query to the search engine for …
-
Combining information retrieval modules and structural information for source code bug localization and feature location
Bug localization and feature location in source code are software evolution tasks in which developers use information about a bug or feature present in a software system to locate the source code elements, such as classes or methods. These classes or methods must be modified either to correct the …
-
Improved software verification through program path-based analysis
… variables key to program output. PREAMBL, a bug localization technique, is introduced as away of providing increased utility to the generated invariants in diagnosing post-release bugs. The benefi ts of these uses of the generated invariants are shown through experiments. The high …
-
Constraint Solving for Diagnosing Concurrency Bugs
… traces to identify the root cause of a software bug. For a multithreaded program, debugging is even more challenging due to the subtle interactions between concurrent threads and the often astronomical number of possible interleavings. In this work, we propose a logical constraint-based symbolic …