Automatic extraction of object-oriented component interfaces

This publication has 15 references indexed in Scilit:

• Mining specifications
  Published by Association for Computing Machinery (ACM) ,2002
• Tracking down software bugs using automatic anomaly detection
  Published by Association for Computing Machinery (ACM) ,2002
• A simple method for extracting models for protocol code
  Published by Association for Computing Machinery (ACM) ,2001
• Using meta-level compilation to check FLASH protocol code
  Published by Association for Computing Machinery (ACM) ,2000
• Byte Code Engineering
  Published by Springer Nature ,1999
• Extending object-oriented systems with roles
  ACM Transactions on Information Systems, 1996
• Extending typestate checking using conditional liveness analysis
  IEEE Transactions on Software Engineering, 1993
• Polymorphic effect systems
  Published by Association for Computing Machinery (ACM) ,1988
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Linear logic
  Theoretical Computer Science, 1987