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 14 of 14 for “"Bug detection"”.
-
AstroBug: automatic game bug detection using deep learning
Traditional methods of video game bug detection, such as manual testing have been effective, but they can also be time-consuming and costly. While Automated Bug Detection (ABD) techniques hold great promise for improving testing, they still face several challenges that need to be addressed to be …
-
Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate
There are a number of techniques for automatic bug detection, most of them have a high false positive rate when used in practice. This work proposes an approach, named Strip-Miner, that combines simple dependency analysis of code with a data mining technique "frequent itemset mining" to reduce the …
-
Improved source code editing for effective ad-hoc code reuse
… of the editing steps, he may introduce program bugs, which are difficult to detect by visual inspection, code compilers, or other existing bug detection methods. The second ad-hoc code reuse approach, code phrase reuse refers to programmers reusing common code phrases by retyping them, often …
-
Developing practical pointer analysis for large-scale software
… such as compiler optimisations, software bug detection and program verification. Nowadays, with the massive growth of software, analysing large-scale programs is inevitable. It has become vital yet enormously difficult to develop effective techniques to significantly reduce the analysis …
-
A formal semantics of C with applications
… interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, in K, the first complete formal semantics of the C programming language. With varying degrees of effort, tools such as interpreters, debuggers, and model-checkers, together with tools that check for …
-
Using Machine Learning to Detect Architectural Integrity Violations Associated with Bugs
… files have on software maintainability and file bug-proneness. In particular, a set of rules for determining recurring design flaws associated with bugs has been proposed. In the present thesis we have investigated if machine learning can be used to advance the research on software architecture …
-
Detecting And Mitigating Concurrency Bugs
… is often referred to as a concurrency bug. In this research, a solution is presented for efficient concurrency bug detection and mitigation. As data races are widely used as a way to identify potential concurrency bugs, this research presents an efficient hardware architecture, named …
-
AbsInt-AI: Language Models for Abstract Interpretation
… strong guarantees such as never missing a bug. However, traditional analyses almost always rely on uniform, hard-coded heap abstractions. While more adaptive abstractions are possible in theory, they are rarely implemented in practice due to their complexity and fragility. This limits their …
-
Reliability management framework for softwarized networks
… reliability management (TARman) and Bug Detection, Debugging, and Isolation (BuDDI) protocol facilities. The reliability management framework is implemented on both Ryu and Cisco’s OpenDayLight (ODL) controllers. Extensive Mininet experimental results validate that framework …
-
Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns
Software bugs can cost millions and affect people's daily lives. However, many bug detection tools are not always practical in reality, which hinders their wide adoption. There are three main concerns regarding existing bug detectors: 1) run-time overhead in dynamic bug detectors, 2) space overhead …
-
Order-Leading Branch and Bound for Neural Network Verification
… image classification, software engineering, and bug detection, the field still lacks rigorous methodologies to verify their behavior. Although high-level principles for safe and responsible AI are now widely endorsed, existing techniques that analyze each model in isolation often fall short, …
-
Program analysis of temporal memory mismanagement
… mismanagement, which can generate two types of bugs: (1) use-after-free (UAF) bugs and (2) memory leaks. The former are severe security vulnerabilities that expose programs to both data and control-flow exploits, while the latter are critical performance bugs that compromise software …
-
Algorithmic advances in dynamic analysis for detecting concurrency bugs
… past, errors arising due to complex concurrency bugs in software have led to catastrophic loss of human lives and money. Tackling concurrency bugs, and in particular, efficiently detecting such bugs, has, therefore, been the center of attention in computer science research for several decades …
-
Robust and reliable hardware accelerator design through high-level synthesis
… and validation challenges including logic bugs, hot spots, wear-out, and soft errors. To make matters worse, as we reach the limits of Dennard scaling, efforts to improve system performance and energy efficiency have resulted in the integration of a wide variety of complex hardware …