DMCA

Interaction coverage meets path coverage by smt constraint solving (2009)

by Wolfgang Grieskamp , Xiao Qu , Xiangjun Wei , Nicolas Kicillof , Myra B. Cohen
Venue:of Lecture Notes in Computer Science
Citations:6 - 0 self