1 Applications of Optimization to Logic Testing Gary Kaminski and Paul Ammann ICST 2010 CSTVA Workshop.
Software Logic Mutation Testing Presented by Gary Kaminski.
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection Gary Kaminski and Paul Ammann Software Engineering.
Applications of Optimization to Logic Testing
Gary Kaminski and Paul Ammann Software Engineering Group George Mason University
