CUTE: a concolic unit testing engine for C

@inproceedings{Sen2005CUTEAC,
  title={CUTE: a concolic unit testing engine for C},
  author={Koushik Sen and Darko Marinov and Gul A. Agha},
  booktitle={ESEC/SIGSOFT FSE},
  year={2005}
}
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in which case the inputs to the unit are memory graphs. The paper addresses the problem of automating unit testing with memory graphs as inputs. The approach used builds on previous work combining symbolic and concrete execution, and more specifically, using such a combination to… CONTINUE READING
Highly Influential
This paper has highly influenced 193 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 1,799 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 1,169 extracted citations

1,799 Citations

0100200'07'10'13'16
Citations per Year
Semantic Scholar estimates that this publication has 1,799 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

CUTE: A concolic unit testing engine for C

  • K. Sen, D. Marinov, G. Agha
  • Technical Report UIUCDCS-R-2005-2597,
  • 2005
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…