Computing Science Course Outlines

Course Outline - CMPT 479 - Spec.Topics/Computing Systems

Information

Subject

Catalog Number

Section

Semester

Title

Instructor(s)

Campus

CMPT

479

D100

2022 Fall (1227)

Spec.Topics/Computing Systems

Steven Ko   

Burnaby Mountain Campus

Calendar Objective/Description

Spec.Topics/Computing 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 ).

Data Last Updated: