On testing non-testable programs (1982)

by E Weyuker
Venue:123 Program Evolvable Mach