'<h2 class=papertitle> Specification-based incremental testing of object oriented systems </h2> <p class=paperauthor> Neelam Soundarajan, Benjamin Tyler <span class=institution> Ohio State University, Columbus, Ohio </span> <p class=paperabstract> Inheritance allows an Object-Oriented designer to easily build a new derived class that extends the functionality of an existing base class. In order to exploit the full potential of inheritance to build systems incrementally, the designer must also be able to test and reason about the behavior of the derived class in an incremental manner. In this paper we develop a specification-based technique for testing both base and derived classes, with the specification and tests for the derived class being obtained incrementally from those of the base class. We illustrate the approach by applying it to a simple example.'