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 20 of 33 for “"Software bugs"”.
-
Program testing : prediction of software bugs
A model to estimate the number of bugs remaining in a system at beginning of testing and integration is described., tested and discussed. This model base on software science metrics, was evaluated empirically by comparing predicated results with actual results.
-
System Support for Improving Software Dependability During Production Runs
In summary, it can effectively improve software dependability during production runs by addressing software bugs at multiple levels with support from the hardware, OS, and runtime.
-
Aspect of Code Cloning Towards Software Bug and Imminent Maintenance: A Perspective on Open-source and Industrial Mobile Applications
… bring new challenges and risks. In particular, software bugs and failures cost trillions of dollars every year, including fatalities such as a software bug in a self-driving car that resulted in a pedestrian fatality in March 2018 and the recent Boeing-737 Max tragedies that resulted in hundreds …
-
A retrieval augmented generation fine-tuned LLM model for refactored code recommendations to mitigate Java lock contention performance faults
… can lead to degradation in the performance of software applications. Unlike software bugs, performance faults do not lead to failures and application crashes but surface as a degradation in the response and execution of an application and can surface fairly late in the deployment life of an …
-
A novel invariants-based approach for automated software fault localization
Software bugs are everywhere. Not only do they infest software during development, but they escape our extermination efforts and enter production code. In addition to severe frustration to customers, software failures result in billions of dollars of lost revenue to service providers. The most …
-
Unobtrusive Real-Time Tracing of Parallel Programs
… approximately 20 to 60 billion a year due to software bugs and glitches, many of which could be avoided if software developers had perfect visibility of the system state during program execution. However, achieving complete visibility of all internal signals in real time in modern systems is …
-
Leveraging Code Comments to Improve Software Reliability
… aComment to detect operating system concurrency bugs and handle the complex interaction between interrupts and lock. Specifically, we designed a new type of interrupt related annotations, and semi-automatically generated 96,821 such annotations for the Linux kernel. These annotations were …
-
Exploiting structure for scalable software verification
Software bugs are expensive. Recent estimates by the US National Institute of Standards and Technology claim that the cost of software bugs to the US economy alone is approximately 60 billion USD annually. As society becomes increasingly software-dependent, bugs also reduce our productivity and …
-
Towards Correct and Efficient Persistent Fuzzing: Dynamic Coverage Removal and State Management
… powerful technique for automatically discovering software bugs and security vulnerabilities. This work improves the efficiency and correctness of coverage-guided fuzzers by introducing dynamic removal of redundant coverage instrumentation and implementing a state-managed version of persistent …
-
Runtime Verification and Debugging of Concurrent Software
Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily life but also many critical applications. As the computational power of multi-core processors and other parallel hardware keeps increasing, concurrent …
-
An Implementation of a Drill and Practice System to Assist in the Teaching of Basic Music Theory
… had been achieved. The implementation of the software was less than perfect as numerous software bugs were present throughout. This caused frustration on the part of students and resulted in inaccuracies in the data collected by the system. A formal evaluation of the software and …
-
Toward predictable control of software-defined networks
… devices. To ease this configuration burden, software-defined networking (SDN) provides centralized, programmatic control of switch data planes in the form of applications, or control modules. This modular design simplifies development, and allows network operators to leverage a potentially …
-
Trusted Unmanned Aerial System Operations
… line of defense against malicious attacks and software bugs. The first part of this thesis illustrates the monitor synthesis flow with rules defining a three-dimensional cage for a commercial-off-the-shelf drone and demonstrates the effectiveness of the monitoring system in enforcing strict …
-
Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
… failure modes. This dissertation presents SWAT (SoftWare Anomaly Treatment), a low cost resiliency solution that effectively handles hardware faults while incurring low cost during the common mode of fault-free operations. SWAT is based on two key observations about the design of resilient …
-
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
Software bugs are a persistent feature of daily life---crashing web browsers, allowing cyberattacks, and distorting the results of scientific computations. One approach to improving software uses program invariants---mathematical descriptions of program behaviors---to verify code and detect bugs. …
-
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 …
-
Lunar: A User-Level Stack Library for Network Emulation
… Aside from the additional work, this allows for software bugs to be introduced between testing and implementation. More importantly, there are correctness issues. Since both the new and existing protocols must be specially written for the simulator, and not actual real-world implementations, the …
-
Automated Bug Severity Prediction using Source Code Metrics, Static Analysis, and Code Representation
… efforts are devoted to the prediction of software bugs. However, most existing work in this domain treats all bugs the same, which is not the case in practice. It is important for a defect prediction method to estimate the severity of the identified bugs so that the higher severity ones …
-
Methods for Testing QUIC Network Protocol Implementations
… Consequently, the accidental inclusion of software bugs, logical flaws, and specification non-conformance within QUIC implementations is inevitable. Given that networked applications are routinely subject to attacks, it is crucial to identify and address potential issues before they are …
-
Monitoring and verifying network behavior using data-plane state
… wide range of errors such as misconfigurations, software bugs, or unexpected interactions across protocols. Previous tools to assist operators in debugging network anomalies primarily focus on analyzing control plane configuration. Configuration analysis is limited in that it cannot find bugs in …
Page 1 of 2