This course will provide an introduction to software testing and quality assurance techniques. The students will learn a wide spectrum of techniques and tools that can be used to improve and evaluate software quality ranging from mature testing methodologies to cutting edge automated verification algorithms. Topics to be covered include: coverage criteria (graph, data-flow, and logic coverage), symbolic execution (static, dynamic, concolic), constraint solving (SMT), inductive invariants, automatic deductive verification, automatic invariant synthesis, and Software Model Checking.
Additional information about the course is available in the course syllabus.
| Details | Instructor | Teaching Assistants |
|---|---|---|
| Name | Prof. Arie Gurfinkel (@prof_arie) | TBA |
| Office | EIT 4021 | |
| first . last AT uwaterloo.ca | — |
| Sep 8 | A0 out |
| Sep 11 | A0 due |
| Sep 11 | A1 out |
| Sep 25 | Fuzz out |
| Oct 6 | A1 due |
| Oct 9 - 13 | Reading week |
| Oct 27 | Fuzz due |
| Oct 23 | A2 out |
| A2 due | |
| Nov 13 | A3 out |
| Dec 5 | A3 due |
| Dec 4 | Last class |
| Dec 18 | Project Due |