Using Z approach to object-oriented software testing and metrics for C++ inheritance hierarchies. - Chun-Chia Wang; Wen C. Pai; Shou-Wei Chen (CATA, 1998)