Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness

@article{Yu2017TestCG,
  title={Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness},
  author={Zhongxing Yu and Matias Martinez and Benjamin Danglot and Thomas Durieux and Martin Monperrus},
  journal={CoRR},
  year={2017},
  volume={abs/1703.00198}
}
Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. Test-suites are in essence input-output specifications and are therefore typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based program repair techniques pass the test suite, yet may be incorrect. Patches that are overly specific to the used test suite and fail to… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

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

References

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

Similar Papers

Loading similar papers…