WYSINWYX: What You See Is Not What You eXecute

This publication has 29 references indexed in Scilit:

• Weighted pushdown systems and their application to interprocedural dataflow analysis
  Science of Computer Programming, 2005
• Extended Weighted Pushdown Systems
  Published by Springer Nature ,2005
• Analyzing Memory Accesses in x86 Executables
  Published by Springer Nature ,2004
• The SLAM Toolkit
  Published by Springer Nature ,2001
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Translation validation
  Published by Springer Nature ,1998
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• Systems for Late Code Modification
  Published by Springer Nature ,1992
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Symbolic Debugging of Optimized Code
  ACM Transactions on Programming Languages and Systems, 1982