Testing a radiotherapy support system with QuickCheck
Aiko Fallas Yamashita, Andreas Bergqvist · 2007
Master Thesis Report AIKO FALLAS YAMASHITA ANDREAS BERGQVIST Department of Applied Information Technology IT UNIVERSITY OF GOTEBORG GOTEBORG UNIVERSITY AND CHALMERS UNIVERSITY OF TECHNOLOGY Goteborg, Sweden 2007