Interaction Coverage Meets Path Coverage by SMT Constraint Solving. - Wolfgang Grieskamp; Xiao Qu; Xiangjun Wei; Nicolas Kicillof; Myra B. Cohen (TestCom/FATES, 2009)