Reconciling perspectives of software logic testing. - Garrett Kent Kaminski; Gregory Williams 002; Paul Ammann (Softw. Test. Verification Reliab., 2008)