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

Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan

Browse the full CAV paper archive.