COMP 587: Software Verification and Validation

Getting Help

Kyle's email address: kyle dot dewey at csun dot edu
Kyle's office hours (in JD 4419):
- Monday/Wednesday: 12:30 PM - 1:30 PM
- Thursday: 1:00 PM - 2:00 PM
- Also available by appointment

Week	Materials
1	Week 1 Part 1 Lecture Notes
2	Week 2 Part 1 Lecture Notes ACC Worksheet (Part of In-Class Exercise) Writing Unit Tests Worksheet (Part of In-Class Exercise)
3	Tests as Specifications Worksheet (Part of In-Class Exercise)
4	Continuation of prior week material
5	Week 5 Part 1 Lecture Notes In-Class Code Mocking Worksheet In-Class Code Coverage Example Automated Testing with Loops Worksheet
6	Automated Testing with Data Structures Worksheet Automated Testing with Data Structures Worksheet Solutions
7	Grammar-based Testing Worksheet
8	Property-based Testing Worksheet Midterm Review Without Answers (look here first!) Midterm Review with Answers
9	Spring Break (no class)
10	Midterm Exam Review and Exam (see week 8 materials)
11	Lecture Notes (Slides) on Mutation-based Fuzzing, AFL, Concolic Execution, and KLEE
16	Final Review Without Answers (look here first!) Final Review With Answers