G. Satya Reddy, Hrushikesha Mohanty. Specification Based Testing of Inheritance: A Framework of a Tool. In 10th International Conference in Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007. pages 237-239, IEEE Computer Society, 2007. [doi]
Abstract is missing.