Implication and Evaluation Techniques for Proving Fault Equivalence.

M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana

Browse the full VTS paper archive.