A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications for Object-Oriented Program Testing | IEEE Conference Publication | IEEE Xplore