NDLTD logo NDLTD Union Catalog and Global ETD Search

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 7 of 7 for “"Coverage Criteria"”.

  1. Applications of Logic Coverage Criteria and Logic Mutation to Software Testing

    Kaminski, Garrett K.2010

    gmu

  2. Understanding, Detecting and Exposing Concurrency Bugs

    Lu, ShanUniversity of Illinois at Urbana-Champaign2015

    … This thesis presents a hierarchy of interleaving coverage criteria. This hierarchy includes seven interleaving coverage criteria that are designed based on different concurrency bug models and provides guidance to interleaving space exploration. Guided by the coverage criteria research, a testing …

    uiuc Repository record

  3. Guidelines for coverage-based comparisons of non-adequate test suites

    Sharma, RohanUniversity of Illinois at Urbana-Champaign2014

    … compare test suites by measuring their coverage. A coverage criterion C provides a set of test requirements and measures how many requirements a given suite satisfies. A suite that satisfies 100% of the (feasible) requirements is called C-adequate. Previous rigorous evaluations of …

    uiuc Repository record

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

    Shams, ZaliaVirginia Tech2015

    … 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 …

    vt Repository record

  5. A systematic approach to testing UML designs

    Dinh-Trong, Trung T., author, France, Robert B., advisor, Ghosh, Sudipto, advisor, Bieman, James M., committee member, Malaiya, Yashwant K., committee member, Fan, Chuen-mei, committee memberColorado State University. Libraries2006

    … using generated test inputs that provide coverage with respect to UML-based coverage criteria. The UML designs that are tested consist of class diagrams, sequence diagrams and activity diagrams. The contribution of the dissertation includes (1) a test input generation technique, (2) an …

    colostate Repository record

  6. Automated Metamodel Instance Generation Satisfying Quantitative Constraints

    Wu, HaoNational University of Ireland Maynooth2013

    … generates instances that meet partition-based coverage criteria by using criteria formulas to further constrain the entire generation process. The second technique generates instances that satisfy graph-property based criteria by introducing different scenarios. These two approaches have been …

    maynooth Repository record

  7. Efficient testing of actor programs with non-deterministic behaviors

    Tasharofi, SamiraUniversity of Illinois at Urbana-Champaign2014

    … this problem, we propose Bita, a scalable and coverage-guided technique which automatically generates schedules. The key idea is to generate schedules that are likely to reveal concurrency bugs because these schedules increase the interleaving coverage. We present three interleaving coverage …

    uiuc Repository record