Automatic testing of sequential and concurrent substitutability

Abstract

Languages with inheritance and polymorphism assume that a subclass instance can substitute a superclass instance without causing behavioral differences for clients of the superclass. However, programmers may accidentally create subclasses that are semantically incompatible with their superclasses. Such subclasses lead to bugs, because a programmer may… (More)
View Slides

4 Figures and Tables

Topics

  • Presentations referencing similar topics