Bugs as deviant behavior

This publication has 10 references indexed in Scilit:

• Enforcing high-level protocols in low-level software
  Published by Association for Computing Machinery (ACM) ,2001
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• A simple method for extracting models for protocol code
  Published by Association for Computing Machinery (ACM) ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• AnnoDomini
  Published by Association for Computing Machinery (ACM) ,1999
• Eraser
  ACM Transactions on Computer Systems, 1997
• Aspect-oriented programming
  Published by Springer Nature ,1997
• LCLint
  Published by Association for Computing Machinery (ACM) ,1994
• Typestate: A programming language concept for enhancing software reliability
  IEEE Transactions on Software Engineering, 1986