Garrett Kent Kaminski

According to our database, Garrett Kent Kaminski authored at least 9 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Reducing logic test set size while preserving fault detection.

Garrett Kent Kaminski, Paul Ammann

Softw. Test. Verification Reliab., 2011

A logic mutation approach to selective mutation for programs and queries.

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt

Inf. Softw. Technol., 2011

2010

An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applying MCDC to Large DNF Logic Expressions.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applications of Optimization to Logic Testing.

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Third International Conference on Software Testing, 2010

2009

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

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

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

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

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

Garrett Kent Kaminski, Paul Ammann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Reconciling perspectives of software logic testing.

Garrett Kent Kaminski, Gregory Williams, Paul Ammann

Softw. Test. Verification Reliab., 2008