KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. 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.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Letychevskyi, O.O.: Paradigms of model-based and symbolic testing of software systems (2015) ioport
- Li, Guodong; Ghosh, Indradeep; Rajan, Sreeranga P.: KLOVER: A symbolic execution and automatic test generation tool for C++ programs (2011) ioport