Skip to main content

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