J. C. Huang An Approach to Program Testing. 113-128 1975 7 ACM Comput. Surv. 3 db/journals/csur/csur7.html#Huang75