Chengying Mao, Yansheng Lu. CppTest: A Prototype Tool for Testing C/C++ Programs. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 1066-1073, IEEE Computer Society, 2007. [doi]
Abstract is missing.