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

by W Grieskamp, X Qu, X Wei, N Kicillof, M B Cohen
Venue:Proc. of the Joint Conference of the 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES’09), LNCS 5826