Title: Theories of program testing and the application of revealing sub-domains
First published: 1979