DMCA

D.: Chaining test cases for reactive system testing (extended version (2013)

by Peter Schrammel , Tom Melham , Daniel Kroening
Citations:3 - 2 self