Local exhaustive testing: a software reliability tool. - Thomas Wood 002; Keith W. Miller 001; Robert E. Noonan (ACM Southeast Regional Conference, 1992)