Early Identification of Incompatibilities in Multi-component Upgrades

This publication has 17 references indexed in Scilit:

• Predicting problems caused by component upgrades
  Published by Association for Computing Machinery (ACM) ,2003
• Forcing behavioral subtyping through specification inheritance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Avoiding exponential explosion
  Published by Association for Computing Machinery (ACM) ,2001
• Translation validation for an optimizing compiler
  Published by Association for Computing Machinery (ACM) ,2000
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• A parallel object-oriented language with inheritance and subtyping
  Published by Association for Computing Machinery (ACM) ,1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• Distrbution and Abstract Types in Emerald
  IEEE Transactions on Software Engineering, 1987
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975