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

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. - Garrett Kent Kaminski; Paul Ammann (ICST, 2009)

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. - Garrett Kent Kaminski; Paul Ammann (ICST, 2009)

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. - Garrett Kent Kaminski; Paul Ammann (ICST Workshops, 2009)

Applications of Optimization to Logic Testing. - Garrett Kent Kaminski; Paul Ammann (ICST Workshops, 2010)

Applying MCDC to Large DNF Logic Expressions. - Garrett Kent Kaminski; Paul Ammann (Software Engineering Research and Practice, 2010)

An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. - Garrett Kent Kaminski; Upsorn Praphamontripong; Paul Ammann; Jeff Offutt (Software Engineering Research and Practice, 2010)

A logic mutation approach to selective mutation for programs and queries. - Garrett Kent Kaminski; Upsorn Praphamontripong; Paul Ammann; Jeff Offutt (Inf. Softw. Technol., 2011)

Reducing logic test set size while preserving fault detection. - Garrett Kent Kaminski; Paul Ammann (Softw. Test. Verification Reliab., 2011)