Chaining Test Cases for Reactive System Testing (extended version)
Peter Schrammel‚ Tom Melham and Daniel Kroening
Journal
arXiv Computing Research Repository
Month
November
Volume
arXiv:1306.3882 [cs.SE]
Year
2013
Peter Schrammel‚ Tom Melham and Daniel Kroening