Applying a dynamic testability technique to debugging certain classes of software faults

@article{Voas2004ApplyingAD,
  title={Applying a dynamic testability technique to debugging certain classes of software faults},
  author={Jeffrey M. Voas and Keith W. Miller},
  journal={Software Quality Journal},
  year={2004},
  volume={2},
  pages={61-75}
}
Testability, the tendency for software to reveal its faults during testing, is an important issue for verification and quality assurance. But testability can also be used to good advantage as a debugging technique. Although this concept is more general, we will illustrate it with a specific example: propagation analysis. Propagation Analysis (PA) is a technique for predicting the probability that a data state error affects program output. PA is a technique that produces information about a… CONTINUE READING