Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool - Rho, Sanghoon (arXiv.org)