Guided path exploration for regression test generation

@article{Taneja2009GuidedPE,
  title={Guided path exploration for regression test generation},
  author={Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
  journal={2009 31st International Conference on Software Engineering - Companion Volume},
  year={2009},
  pages={311-314}
}
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test generation can be automated by using Dynamic Symbolic Execution (DSE), a state-of-the-art test generation technique, to generate a test suite achieving high structural coverage. DSE explores paths in the program to achieve high structural coverage, and exploration of all these paths can often be expensive. However, if our… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 24 CITATIONS

SEMANTIC ANALYSES TO DETECT AND LOCALIZE SOFTWARE REGRESSION ERRORS

VIEW 9 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Test generation to expose changes in evolving programs

VIEW 9 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

Test purpose generation for service evolutions: a symbolic approach

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation

VIEW 1 EXCERPT
CITES METHODS

High-confidence software evolution

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES

DART: Directed Automated Random Testing

  • Koushik Sen
  • Computer Science
  • Haifa Verification Conference
  • 2009
VIEW 2 EXCERPTS

Fitness-guided path exploration in dynamic symbolic execution

VIEW 1 EXCERPT

DiffGen: Automated Regression Unit-Test Generation

  • Kunal Taneja, Tao Xie
  • Computer Science
  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
VIEW 1 EXCERPT

Heuristics for Scalable Dynamic Test Generation

  • Jacob Burnim, Koushik Sen
  • Computer Science
  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
VIEW 1 EXCERPT

Test-Suite Augmentation for Evolving Software

VIEW 1 EXCERPT

Compositional dynamic test generation

VIEW 1 EXCERPT