Experiences From Testing a Radiotherapy Support System With QuickCheck
- Authors
- A. Yamashita, A. Bergqvist and T. Arts
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2008
- Journal
- Report No. 5/2008 of the Faculty of Infomatics, Universitat Koblenz-Landau
- Publisher
- -
- Notes
- This paper was presented at the Second International Conference of Tests and Proofs (TAP 2008), Prato, Italy, April 2008 Editors: Bernhard Beckert and Reiner Hähnle
- Citation key
- 11691