CSI 5118 - Automated Verification and Validation of Software | University of Ottawa | Study Rat | Study Rat