Extended static checking for Java

This publication has 21 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Bugs as deviant behavior
  Published by Association for Computing Machinery (ACM) ,2001
• Applications of Extended Static Checking
  Published by Springer Nature ,2001
• Extended Static Checking: A Ten-Year Perspective
  Published by Springer Nature ,2001
• Houdini, an Annotation Assistant for ESC/Java
  Published by Springer Nature ,2001
• Annotation inference for modular checkers
  Published by Elsevier ,2001
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Joining specification statements
  Theoretical Computer Science, 1999
• LCLint
  Published by Association for Computing Machinery (ACM) ,1994
• Proof of correctness of data representations
  Acta Informatica, 1972