  In this paper, we present Coyote C++, a fully automated white-box unit
testing tool for C and C++. Whereas existing tools have struggled to realize
unit test generation for C++, Coyote C++ is able to produce high coverage
results from unit test generation at a testing speed of over 10,000 statements
per hour. This impressive feat is made possible by the combination of a
powerful concolic execution engine with sophisticated automated test harness
generation. Additionally, the GUI of Coyote C++ displays detailed code coverage
visualizations and provides various configuration features for users seeking to
manually optimize their coverage results. Combining potent one-click automated
testing with rich support for manual tweaking, Coyote C++ is the first
automated testing tool that is practical enough to make automated testing of
C++ code truly viable in industrial applications.
