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 22 for “"Mutation testing"”.

  1. Exploring design decisions for mutation testing

    Software testing is by far the most popular technique used in industry for quality assurance. One key challenge of software testing is how to evaluate the quality of test suites in terms of their bug-finding capability. A test suite with a large number of tests, or that achieves a high statement or …

    uiuc Repository record for Exploring design decisions for mutation testing (opens in a new tab)

  2. Towards Improving Students' Software Testing Practices using Modified Mutation Testing

    Mutation testing (MT) is a powerful technique for evaluating the quality of software test suites by introducing small faults, called ``mutations,'' into code to assess if tests can detect them. While MT has been extensively applied in the software industry, its use in programming courses faces both …

    vt Repository record for Towards Improving Students' Software Testing Practices using Modified Mutation Testing (opens in a new tab)

  3. Family Environment, Social Support, and Psychological Distress of Women Seeking BRCA1 and BRCA2 Genetic Mutation Testing

    … identified in research on women seeking genetic testing for BRCA1 and BRCA2 gene mutations. This study further explored patterns of psychological distress for 51 community women waiting to receive such genetic test results. There was no significant relationship between psychological distress and …

    unt Repository record for Family Environment, Social Support, and Psychological Distress of Women Seeking BRCA1 and BRCA2 Genetic Mutation Testing (opens in a new tab)

  4. Predicting mutation score using source code and test suite metrics

    Mutation testing has traditionally been used to evaluate the effectiveness of test suites and provide con dence in the testing process. Mutation testing involves the creation of many versions of a program each with a single syntactic fault. A test suite is evaluated against these program versions …

    uoit Repository record for Predicting mutation score using source code and test suite metrics (opens in a new tab)

  5. VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software

    … software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements specifications into a live quick-feedback cycle, without recompilation or restart of the system under test. This supports discovery and verification of software dynamic …

    syracuse-diss Repository record for VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software (opens in a new tab)

  6. MuAlloy : an automated mutation system for alloy

    Mutation is a powerful technique that researchers have studied for several decades in the context of imperative code. For example, mutation testing is commonly considered a '"gold standard"' for test suite quality. Mutation in the context of declarative languages is a less studied problem. This …

    texas Repository record for MuAlloy : an automated mutation system for alloy (opens in a new tab)

  7. Evaluating the Clinical and Financial Impact of Multi-Gene Panel Testing

    … guided by predictive biomarkers. Tumor mutation testing using commercial assays examining select gene panels is now incorporated in the standard work-up of advanced cancers. With some exceptions, existing and emerging biomarkers remain inadequate clinical tools for many patients, and …

    utswmed Repository record for Evaluating the Clinical and Financial Impact of Multi-Gene Panel Testing (opens in a new tab)

  8. Supported Programming for Beginning Developers

    <p>Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation. We present TestBuilder, a system for test case generation which uses an SMT solver to generate inputs to reach specified lines in …

    calpoly Repository record for Supported Programming for Beginning Developers (opens in a new tab)

  9. Psychological and Sociodemographic Predictors of Psychological Distress in BRCA1 and BRCA2 Genetic Testing Participants within a Community Based Genetic Screening Program

    Mutations in BRCA1 and BRCA2, the first two breast cancer susceptibility genes identified, carry as much as an 85% lifetime risk of developing breast, ovarian or other cancers. Genetic testing for mutations in these two genes has recently become commercially available. There have been varying …

    unt Repository record for Psychological and Sociodemographic Predictors of Psychological Distress in BRCA1 and BRCA2 Genetic Testing Participants within a Community Based Genetic Screening Program (opens in a new tab)

  10. Cytogenetically normal acute myeloid leukaemia at a single centre in South Africa

    … according to six prognostically informative mutations. However, its applicability in a South African setting remains elusive due to limited local data. This retrospective study aimed to describe a South African CN-AML cohort according to clinicopathological, molecular and treatment outcomes …

    cape-town Repository record for Cytogenetically normal acute myeloid leukaemia at a single centre in South Africa (opens in a new tab)

  11. A test case generation approach for mobile APPS based on context and GUI events

    … applications, there is a need for effective testing techniques to test the apps. The most recent testing technique focuses on graphical user interface (GUI) events with little attention to context events. This makes it difficult to identify other defects in the changes that can be inclined by …

    uthm Repository record for A test case generation approach for mobile APPS based on context and GUI events (opens in a new tab)

  12. Mutation analysis of dynamically typed programs

    … languages brings a new challenge to software testing. In these languages, types are not checked at compile-time. Type errors must be found by testing and in general, programs written in these languages require additional testing compared to statically typed languages.Mutation analysis (or …

    hull Repository record for Mutation analysis of dynamically typed programs (opens in a new tab)

  13. Automated Assessment of Student-written Tests Based on Defect-detection Capability

    Software testing is important, but judging whether a set of software tests is effective is difficult. This problem also appears in the classroom as educators more frequently include software testing activities in programming assignments. The most common measures used to assess student-written …

    vt Repository record for Automated Assessment of Student-written Tests Based on Defect-detection Capability (opens in a new tab)

  14. Heuristic Generation of Software Test Data

    … threatening or financially devastating. Software testing is a destructive process that aims to reveal software faults. Selection of good test data can be extremely difficult. To ease and assist test data selection, several test data generators have emerged that use a diverse range of approaches. …

    southwales Repository record for Heuristic Generation of Software Test Data (opens in a new tab)

  15. Methodologies for the Development of Qualitative Spatial and Temporal Reasoning Applications

    … known techniques in software engineering: unit testing, integration testing, test coverage, and mutation testing. Furthermore, a novel metric called H-complexity is presented and used to define four additional test coverage classes that a developer can employ to assess the efficacy of a test …

    auckland-ms Repository record for Methodologies for the Development of Qualitative Spatial and Temporal Reasoning Applications (opens in a new tab)

  16. Técnicas de prueba avanzadas para la generación de casos de prueba

    Software testing is a crucial phase in software development, particularly in contexts such as critical systems, where even minor errors can have severe consequences. The advent of Industry 4.0 brings new challenges, with software present in almost all industrial systems. Overcoming technical …

    cadiz Repository record for Técnicas de prueba avanzadas para la generación de casos de prueba (opens in a new tab)

  17. Epidemiology of non-squamous non-small cell lung cancer in New Zealand: A focus on EGFR gene mutation

    … Cell Lung Cancer (NSCLC) patients with EGFR mutation. A better understanding is needed of the epidemiology of lung cancer in relation to EGFR mutation and strategies to facilitate identification of EGFR mutation-positive patients who may be eligible for EGFR targeted treatment. Thus, this PhD …

    auckland-ms Repository record for Epidemiology of non-squamous non-small cell lung cancer in New Zealand: A focus on EGFR gene mutation (opens in a new tab)

  18. Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL)

    … faults. This paper demonstrates how half of the mutation operators used by the SQL mutation tool in real-world test suites generated significantly lower detection scores than those from research test suites. Three revised mutation operators are introduced that improve detection scores and …

    vt Repository record for Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL) (opens in a new tab)

Page 1 of 2