"Coverage Criteria for Logical Expressions."

Paul Ammann, A. Jefferson Offutt, Hong Huang (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics