Seeding Contradiction: a fast method for generating full-coverage test suites

by   Li Huang, et al.

The regression test suite, a key resource for managing program evolution, needs to achieve 100 suite manually is unacceptably tedious, but existing automated methods are often inefficient. The method described in this article, “Seeding Contradiction”, inserts incorrect instructions into every basic block of the program, enabling an SMT-based Hoare-style prover to generate a counterexample for every branch of the program and, from the collection of all such counterexamples, a test suite. The method is static, works fast, and achieves excellent coverage.


page 1

page 2

page 3

page 4


Cross-coverage testing of functionally equivalent programs

Cross-coverage of a program P refers to the test coverage measured over ...

Substate Profiling for Effective Test Suite Reduction

Test suite reduction (TSR) aims at removing redundant test cases from re...

End-to-End Test Coverage Metrics in Microservice Systems: An Automated Approach

Microservice architecture gains momentum by fueling systems with cloud-n...

Semantic Evaluation for Text-to-SQL with Distilled Test Suites

We propose test suite accuracy to approximate semantic accuracy for Text...

Comparing Mutation Coverage Against Branch Coverage in an Industrial Setting

The state-of-the-practice in software development is driven by constant ...

Executable formal semantics for the POSIX shell

The POSIX shell is a widely deployed, powerful tool for managing compute...

Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis

An extreme transformation removes the body of a method that is reached b...

Please sign up or login with your details

Forgot password? Click here to reset