Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Generating test case chains for reactive systems

Generating test case chains for reactive systems

Peter Schrammel‚ Tom Melham and Daniel Kroening

Journal
International Journal on Software Tools for Technology Transfer
Pages
1−16
Publisher
Springer
Year
2014

Links

See Also

Back to Top