Software diagnosability

This publication has 13 references indexed in Scilit:

• Fault localization using execution slices and dataflow tests
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Towards a unified approach to the testability of co-designed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• From hardware to software testability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computation of dynamic program slices for unstructured programs
  IEEE Transactions on Software Engineering, 1997
• Property-based software engineering measurement
  IEEE Transactions on Software Engineering, 1996
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987
• Axiomatic approach to Software Metrication through Program Decomposition
  The Computer Journal, 1986
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• Programmers use slices when debugging
  Communications of the ACM, 1982
• Structured Analysis for Requirements Definition
  IEEE Transactions on Software Engineering, 1977