Generating test case chains for reactive systems
Peter Schrammel‚ Tom Melham and Daniel Kroening
ISSN
1433−2779
Journal
International Journal on Software Tools for Technology Transfer
Month
June
Number
3
Pages
319–334
Volume
18
Year
2016
Peter Schrammel‚ Tom Melham and Daniel Kroening