U-TCsGM: Generating and Minimizing Uncertainty-Based Test Cases for Cyber-Physical Systems (Tool Demo)
- Authors
- M. Zhang
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2016
- Journal
- MPM4CPS WG meetings in Malaga, Spain, 24-25 November 2016
- Publisher
- -
- Citation key
- 14278