| 2009 | ||
|---|---|---|
| 1 | Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen: Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES 2009: 97-112 | |
| 1 | Myra B. Cohen | [1] |
| 2 | Wolfgang Grieskamp | [1] |
| 3 | Nicolas Kicillof | [1] |
| 4 | Xiao Qu | [1] |