Theories of program testing and the application of revealing sub-domains | lit.salon