Class Specification Implementation Graphs for Integrated Black-and WhiteBox Testing