D.: Chaining test cases for reactive system testing (0)

by P Schrammel, T Melham, Kroening
Venue:In: ICTSS. Volume 8254 of LNCS. (2013) 133–148