Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Mutation-driven generation of unit tests and oracles
Edit
Mutation-driven generation of unit tests and oracles   (Citations: 5)
BibTex | RIS | RefWorks Download
To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into programs; a non-detected mutation indicates a weakness in the test suite. We present an automated approach to generate unit tests that detect these mutations for object-oriented classes. This has two advantages: First, the resulting test suite is optimized towards finding defects rather than covering code. Second, the state change caused by mutations induces oracles that precisely detect the mutants. Evaluated on two open source libraries, our muTest prototype generates test suites that find significantly more seeded defects than the original manually written test suites.
Conference: International Symposium on Software Testing and Analysis - ISSTA , pp. 147-158, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
More »
    • ...Search-based techniques have been applied to test object oriented software using method sequences [7], [8] and strongly typed genetic programming [9], [10]...
    • ...Another common approach that does not suffer of such a problem is to target one coverage goal at at ime [1], [7], [8], [16]...
    • ...In search-based testing for object oriented software, test cases and thus also the chromosomes of the genetic algorithm are sequences of statements [7], [8]...
    • ...Tonella [7] chooses a random point in the range of [1,min(length(P1),length(P2))] .B aresiet al. [13] and Fraser and Zeller [8] choose different random positions for each of the parents in the range [1,length(P1)] and [1,length(P2)] .I n this paper, we call this latter crossover operator Two Point Crossover (TPX)...
    • ...However, when other metrics are introduced with large domains of possible values (e.g., branch distance [1] or mutation impact [8]), then bloat might occur...
    • ...Another approach to prevent bloat is to penalize the length directly in the fitness function [8], [12]‐[14]...

    Gordon Fraser, et al. It is Not the Length That Matters, It is How You Control It

    • ...In the context of test generation for object-oriented code, different techniques to derive method sequences have been proposed, including several search-based techniques [19]‐ [22]...
    • ...Search-based techniques have been applied to test object oriented software using method sequences [19], [22], [25] or strongly typed genetic programming [20], [21]...
    • ...Following the method sequence approach [19], [22], [25], we define search operators that allow evolutionary testing of classes based on common object usage...

    Gordon Fraser, et al. Exploiting Common Object Usage in Test Case Generation

    • ...Search-based techniques have been applied to test object oriented software using method sequences [3, 7, 13] and strongly typed genetic programming [12, 16]...

    Yanchuan Li, et al. Bytecode Testability Transformation

    • ...The test cases may have variable length [13], and so earlier approaches to testing object-oriented software made use of method sequences [14,15] or strongly typed genetic programming [16,17]...

    Andrea Arcuri, et al. On Parameter Tuning in Search Based Software Engineering

    • ...Along, the same lines is also the work of Fraser and Zeller (2010) who implement a search-based optimization approach based on the mutants’ impact measure (Schuler and Zeller 2010)...
    • ...Thus, according to Fraser and Zeller (2010), an approximation of the sufficiency condition can be established...

    Mike Papadakis, et al. Automatically performing weak mutation with the aid of symbolic execut...

Order by:

Citations (5)

Share this on | Contribute to Academic