Validation of measurement software as an application of slicing and constraint solving

This publication has 17 references indexed in Scilit:

• Applying interval arithmetic to real, integer, and boolean constraints
  The Journal of Logic Programming, 1997
• Parametric program slicing
  Published by Association for Computing Machinery (ACM) ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
  Published by Association for Computing Machinery (ACM) ,1993
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• A safe approximate algorithm for interprocedural aliasing
  Published by Association for Computing Machinery (ACM) ,1992
• Dynamic slicing in the presence of unconstrained pointers
  Published by Association for Computing Machinery (ACM) ,1991
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Certification of programs for secure information flow
  Communications of the ACM, 1977