CSI 5186 - AI-enabled Software Verification and Testing | University of Ottawa | Study Rat | Study Rat