Garrett Kent Kaminski

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
A logic mutation approach to selective mutation for programs and queries. Inf. Softw. Technol. 53 (10) (2011)
Garrett Kent Kaminski, Paul Ammann
Reducing logic test set size while preserving fault detection. Softw. Test. Verification Reliab. 21 (3) (2011)
Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. Software Engineering Research and Practice (2010)
Garrett Kent Kaminski, Paul Ammann
Applying MCDC to Large DNF Logic Expressions. Software Engineering Research and Practice (2010)
Garrett Kent Kaminski, Paul Ammann
Applications of Optimization to Logic Testing. ICST Workshops (2010)
Garrett Kent Kaminski, Paul Ammann
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. ICST (2009)
Garrett Kent Kaminski, Paul Ammann
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. ICST Workshops (2009)
Garrett Kent Kaminski, Paul Ammann
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. ICST (2009)
Garrett Kent Kaminski, Gregory Williams, Paul Ammann
Reconciling perspectives of software logic testing. Softw. Test. Verification Reliab. 18 (3) (2008)