CITRUS: Automated Unit Testing Tool for Real-world C++ Programs | IEEE Conference Publication | IEEE Xplore