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 32 for “"code coverage"”.
-
Increasing Program Code Coverage Using Fuzzing and Targeted Branch Exploration
Code coverage is a longstanding metric for evaluating how thoroughly a program has been tested. Achieving high coverage remains a priority goal for quality assurance and software stability. Exhaustive enumeration of possible input paths to every code region is desirable in theory but …
-
A study of testing a microservice system based on code coverage
… assessment and improvement of the test suite, code-coverage information is commonly used. However, there exists no research on investigating how code-coverage information can be used to measure and improve a test suite for a microservice system. To fill this gap, we conduct an empirical study …
-
An Empirical study of the JaMoPP project using code coverage based system tests.
… using these models to generate the final source code implementation. This has meant that Model Driven Software Development has become a future goal rather than a current reality. The Java Model Parser and Printer project tries to bridge this gap by turning Java into a model. This means that Java …
-
Studying the impact of early test termination due to assertion failure on code coverage and spectrum-based fault localization
… use only one assertion in a single test to avoid code smell (e.g., Assertion Roulette), we observe that it is common to have multiple assertions in a single test. One issue with tests that have multiple assertions is that when the test fails at an early assertion, the test will terminate at that …
-
Coverage analysis for assertions and emulation based verification
Coverage analysis is critical in pre-silicon verification of hardware designs for assessing the completeness of verification and identifying inadequately exercised areas of the design. It is widely integrated in the simulation based verification flow in the hardware industry. In this thesis, we …
-
Incorporating Design Knowledge into Genetic Algorithm-based White-Box Software Test Case Generators
… automated test case generators to increase the code coverage of their resulting test cases. Automated generation of test data through evolutionary testing was proven feasible in prior research studies. In those previous investigations, the metrics used for determining the test generation method …
-
Practical Feedback and Instrumentation Enhancements for Performant Security Testing of Closed-source Executables
… contains 25 bugs for every 1,000 lines of code, the prompt discovery of security flaws is now vital to mitigating the next major cyberattack. Over the last decade, the software industry has overwhelmingly turned to a lightweight defect discovery approach known as fuzzing: automated testing …
-
Programming Language and Tools for Automated Testing
… and evaluation of test suites using both code coverage and mutation analysis. Sulu is also designed to fully integrate automatically generated tests with manually written test suites. Sulu's tools incorporate pluggable test case generators, which enables the software developer to employ …
-
Directed random testing
… illegal or that exercise the same parts of the code as other tests, thus limiting its effectiveness. Directed random testing is a new approach to test generation that overcomes these limitations, by combining a bottom-up generation of tests with runtime guidance. A directed random test generator …
-
Automatically Improving The Code Quality Of Rust Via LLM
… leveraging LLM to automatically improve Rust’s code quality. The application of LLMs to Rust code quality improvement requires addressing fundamental challenges in three key areas: generating compilable code that satisfies Rust’s strict type system, detecting subtle safety violations that escape …
-
Automated Assessment of Student-written Tests Based on Defect-detection Capability
… to assess student-written software tests are coverage criteria—tracking how much of the student’s code (in terms of statements, or branches) is exercised by the corresponding tests. However, coverage criteria have limitations and sometimes overestimate the true quality of the tests. This …
-
Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework
… Since dynamic analyses cannot guarantee complete code coverage, a two part strategy is employed: unit tests are used as a de facto specification, and the programmer provides final verification. The interaction can be kept at a minimum by using the rich information provided by a dynamic analysis. …
-
Improving Automated Android Test Generation
… tested app. The core metric to quantify how much code tests cover is the measurement of code coverage, which can be computed at different levels of granularity ranging from determining the fraction of covered activities to a very fine-grained measurement that calculates the percentage of covered …
-
A practical, comprehensive and accessible binary framework for security
… solutions must balance sound and comprehensive code coverage with high performance to ensure practical viability, while enabling developer productivity. To address these, I first introduce Janitizer, a hybrid static-dynamic binary framework that overcomes the limitations of static and …
-
Defining and Evaluating Test Suite Consolidation for Event Sequence-based Test Cases
… suite that achieves better fault detection and code coverage than the original suites, and that the <italic>CONTeSSi(n)</italic> metric is a better indicator of the similarity between sequence-based test suites than existing metrics.
-
Structured query language (SQL) related tools
… as a simple language. But in fact, SQL legacy code repository could be as huge as some mainstream languages such as C, Java etc. In this paper, we focus on SQL Injection Attacks and SQL Code Coverage.</p>
-
Test2Vec: An Execution Trace Embedding for Behaviour Coverage Analysis of Test Cases
… adequacy metrics are mostly based on the source code and ignore the dynamic behavior of the program. In this thesis, we demonstrate that code coverage metrics are not able to distinguish between a Failed and Passed behavior in most cases. Neural program embeddings have shown much promise recently …
-
DETECTION, DIAGNOSIS AND MITIGATION OF MALICIOUS JAVASCRIPT WITH ENRICHED JAVASCRIPT EXECUTIONS
… techniques possess limitations such as limited code coverage and incomplete environment setup, leaving a broad attack surface for evading the detection.</p> <p>Once a zero-day exploit is captured, it is critical to quickly pinpoint the JavaScript statements that uniquely characterize the exploit …
-
API Knowledge Guided Test Generation for Machine Learning Libraries
… and the API usage patterns mined from code fragments in Stack Overflow (SO). First, we propose a set of 18 linguistic rules for mining API constraints from the API documents. Then, we use the frequent itemset mining technique to mine the API usage patterns from a large corpus of machine …
-
Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads
… boundaries. TORPEDO combines traditional code coverage feedback with resource utilization measurements to motivate the generation of "adversarial" programs based on user-defined criteria. Experiments conducted on the default docker runtime runC as well as the virtualized runtime gVisor …
Page 1 of 2