KATCH: high-coverage testing of software patches

  title={KATCH: high-coverage testing of software patches},
  author={Paul Dan Marinescu and Cristian Cadar},
  booktitle={ESEC/SIGSOFT FSE},
One of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis. Unfortunately, many of these changes bring unexpected bugs that break the stability of the system or affect its security. In this paper, we address this problem using a technique for automatically testing code patches. Our technique combines symbolic execution with several novel heuristics based on… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

69 Citations

Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.