Chengying Mao Yansheng Lu CppTest: A Prototype Tool for Testing C/C++ Programs. 1066-1073 2007 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2007.62 conf/IEEEares/2007 db/conf/IEEEares/ares2007.html#MaoL07