Skip to main content

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