Wolfgang Grieskamp Xiao Qu Xiangjun Wei Nicolas Kicillof Myra B. Cohen Interaction Coverage Meets Path Coverage by SMT Constraint Solving. 97-112 2009 TestCom/FATES http://dx.doi.org/10.1007/978-3-642-05031-2_7 conf/pts/2009 db/conf/pts/testcom2009.html#GrieskampQWKC09