Paul Ammann A. Jefferson Offutt Hong Huang Coverage Criteria for Logical Expressions. 99-107 2003 conf/issre/2003 ISSRE http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070099abs.htm db/conf/issre/issre2003.html#AmmannOH03