Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing

Authors
A. Arcuri and L. C. Briand