Garrett Kent Kaminski, Paul Ammann. Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 167-176, IEEE Computer Society, 2009. [doi]
Abstract is missing.