• CS SFU
• > Portal
• > Outlines

Course Outline - CMPT 982 - Spec. Top. in Network-Systems

Information

Calendar Objective/Description

Spec. Top. in Network-Systems

Instructor's Objectives

This is a project-based course that looks at automated software validation/testing techniques for programs written in Rust. The course consists of lectures by the instructor, paper readings/presentations by students, and projects carried out by students. The course first reviews the Rust programming language as well as automated software validation/testing techniques such as symbolic execution, fuzzing, and property testing. The course then reads and discusses a number of papers related to those validation/testing techniques. Students are expected to propose a project in consultation with the instructor and carry it out to completion.

Prerequisites

see go.sfu.ca

Grading

Academic Honesty Statement

Academic honesty plays a key role in our efforts to maintain a high standard of academic excellence and integrity. Students are advised that ALL acts of intellectual dishonesty will be handled in accordance with the SFU Academic Honesty and Student Conduct Policies ( http://www.sfu.ca/policies/gazette/student.html ).