Taming the Beast: Fully Automated Unit Testing with Coyote C++

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