Kalpesh Kapoor Formal Analysis of Coupling Hypothesis for Logical Faults. 80-87 2006 2 ISSE 2 http://dx.doi.org/10.1007/s11334-006-0002-z db/journals/isse/isse2.html#Kapoor06