Better predicate testing. - Gary Kaminski; Paul Ammann; Jeff Offutt (AST, 2011)

Improving logic-based testing. - Gary Kaminski; Paul Ammann; Jeff Offutt (J. Syst. Softw., 2013)