Garrett Kaminski

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection

Garrett Kaminski, Paul Ammann · 2009 · 32 citations

Engineering, Verification, Diagnosis +26

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing

Garrett Kaminski, Paul Ammann · 2009 · 29 citations

Engineering, Mutation Testing, Fault Hierarchy +21

A logic mutation approach to selective mutation for programs and queries

Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann et al. · Information and Software Technology · 2011 · 25 citations

Mutation-based Testing, Engineering, Logic Mutation Approach +13

Reconciling perspectives of software logic testing

Garrett Kaminski, Gregory Williams, Paul Ammann · Software Testing Verification and Reliability · 2008 · 25 citations · Full text

Software Maintenance, Engineering, Verification +21

Reducing logic test set size while preserving fault detection

Garrett Kaminski, Paul Ammann · Software Testing Verification and Reliability · 2011 · 10 citations

Engineering, Boolean Function, Verification +18