Two notions of correctness and their relation to testing (1982)

by T A Budd, D Angluin
Venue:Acta Informatica