Using Z approach to object-oriented software testing and metrics for C++ inheritance hierarchies.

Chun-Chia Wang, Wen C. Pai, Shou-Wei Chen

Browse the full CATA paper archive.