Safely creating correct subclasses without seeing superclass code

Clyde Ruby, Gary T. Leavens. Safely creating correct subclasses without seeing superclass code. In OOPSLA. pages 208-228, 2000. [doi]

@inproceedings{RubyL00,
  title = {Safely creating correct subclasses without seeing superclass code},
  author = {Clyde Ruby and Gary T. Leavens},
  year = {2000},
  doi = {10.1145/353171.353186},
  url = {http://doi.acm.org/10.1145/353171.353186},
  tags = {Ruby},
  researchr = {https://researchr.org/publication/RubyL00},
  cites = {0},
  citedby = {0},
  pages = {208-228},
  booktitle = {OOPSLA},
}