How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

This publication has 47 references indexed in Scilit:

• Alloy
  ACM Transactions on Software Engineering and Methodology, 2002
• Contract Soundness for object-oriented languages
  ACM SIGPLAN Notices, 2001
• Aspect-oriented programming with adaptive methods
  Communications of the ACM, 2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Safely creating correct subclasses without seeing superclass code
  ACM SIGPLAN Notices, 2000
• MultiJava
  ACM SIGPLAN Notices, 2000
• Part II: specifying components in RESOLVE
  ACM SIGSOFT Software Engineering Notes, 1994
• Part I: the RESOLVE framework and discipline
  ACM SIGSOFT Software Engineering Notes, 1994
• The Larch/Smalltalk interface specification language
  ACM Transactions on Software Engineering and Methodology, 1994
• Writing Larch interface language specifications
  ACM Transactions on Programming Languages and Systems, 1987