Abstract
We present the first symbolic execution and automatic test generation tool for C++ programs. First we describe our effort in extending an existing symbolic execution tool for C programs to handle C++ programs. We then show how we made this tool generic, efficient and usable to handle real-life industrial applications. Novel features include extended symbolic virtual machine, library optimization for C and C++, object-level execution and reasoning, interfacing with specific type of efficient solvers, and semi-automatic unit and component testing. This tool is being used to assist the validation and testing of industrial software as well as publicly available programs written using the C++ language. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Li, G., Ghosh, I., & Rajan, S. P. (2011). KLOVER: A symbolic execution and automatic test generation tool for C++ programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6806 LNCS, pp. 609–615). https://doi.org/10.1007/978-3-642-22110-1_49
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
