KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs

@inproceedings{Li2011KLOVERAS,
  title={KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs},
  author={G. Li and I. Ghosh and S. P. Rajan},
  booktitle={CAV},
  year={2011}
}
  • G. Li, I. Ghosh, S. P. Rajan
  • Published in CAV 2011
  • Computer Science
  • We present the first symbolic execution and automatic test generation tool for C++ programs. [...] Key Method 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.Expand Abstract

    Figures, Tables, and Topics from this paper.

    Exploiting undefined behaviors for efficient symbolic execution
    • 8
    • Highly Influenced
    • PDF
    JST: An automatic test generation tool for industrial Java applications with strings
    • 46
    • PDF
    LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
    • 142
    • Highly Influenced
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 11 REFERENCES
    Verifying C++ with STL containers via predicate abstraction
    • 27
    • PDF
    Scalable SMT-based verification of GPU kernel functions
    • 110
    • PDF
    A Temporal Logic of Nested Calls and Returns
    • 3,365
    • PDF
    Tools and Algorithms for the Construction and Analysis of Systems
    • 83
    GKLEE : A symbolic execution and automatic test generation tool for GPU
    • 2011
    GKLEE : A symbolic execution and automatic test generation tool for GPU programs
    • 2011
    GKLEE : A symbolic execution and automatic test generation tool for GPU programs , 2011