Code Coverage Aware Test Generation Using Constraint Solver

  title={Code Coverage Aware Test Generation Using Constraint Solver},
  author={Krystof Sykora and Bestoun S. Ahmed and Miroslav Bures},
Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. Recently, code coverage analysis is used as a white-box testing technique for test optimization. Most of the research activities focus on using code coverage for test prioritization and selection within automated testing strategies. Less effort has been paid in the literature to use code coverage for test generation. This paper introduces a new Code Coverage-based Test Case… 


Code-Aware Combinatorial Interaction Testing
This paper introduces a different approach to use the CIT as a gray-box testing technique by considering the internal code structure of the SUT to know the impact of each input parameter and thus use this impact in the test generation stage.
Directed test suite augmentation: techniques and tradeoffs
The results of the experiment show that the primary factor affecting augmentation is the test case generation algorithm utilized, and the manner in which existing and newly generated test cases are utilized also has a substantial effect on efficiency but a lesser effect on effectiveness.
Automatic Test Case Generation and Optimization Based on Mutation Testing
A test case generation method combining mutation testing with a genetic algorithm and a mutation operator selection strategy according to Selective Mutation to reduce the number of mutants is proposed.
Combinatorial Interaction Testing for Automated Constraint Repair
This paper devises a new search-based technique able to repair a model composed of a set of constraints among the various software system's parameters and shows it can infer parameter constraints in a large real-world software system, hence it can be used for automated creation of CIT models.
Faulty Interaction Identification via Constraint Solving and Optimization
This paper proposes a new automatic approach to identifying faulty interactions that uses (pseudo-Boolean) constraint solving and optimization techniques to analyze the execution results of the combinatorial test suite and shows that the method is quite efficient and it can find faulty combinatorsial interactions quickly.
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions
This paper presents XSTRESSOR, a tool that is able to generate test inputs that can run specific loops in a program with the worst-case complexity in a large scale and avoids the scaling problem of prior techniques by limiting full-blown symbolic execution and run-time calls to constraint solver to small scale tests.
Constrained Interaction Testing: A Systematic Literature Study
This paper presents the first comprehensive and systematic literature study to structure and categorize the research contributions for constrained interaction testing, and discusses the applications of constrained interactionTesting in several domains, such as software product lines, fault detection and characterization, test selection, security, and graphical user interface testing.
PCTgen: Automated Generation of Test Cases for Application Workflows
The PCTgen, solution, which is open and flexible, available for free to the test designer community and do not assume existence of UML design documentation of certain quality and consistency on the project is presented.
Mull It Over: Mutation Testing Based on LLVM
  • A. Denisov, Stanislav Pankevich
  • Computer Science
    2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2018
Mull works with LLVM IR, a low-level intermediate representation, to perform mutations, and uses LLVM JIT for just-in-time compilation, which enables the following two capabilities of Mull: langu?age independence and fine-grained control over compilation and execution of a tested program and its mutations.