COMP 587: Software Verification and Validation

Getting Help

Piazza, for all non-personal communication
Kyle's email address: kyle dot dewey at csun dot edu
Kyle's office hours:
- Monday/Wednesday: 2:00 PM - 3:00 PM (JD 4427)
- Thursday: 11:00 AM - 12:00 PM (JD 2212)
- Also available by appointment

Week	Materials
1	Week 1 Part 1 Lecture Notes Week 1 Part 2 Lecture Notes ACC Worksheet (Part of In-Class Exercise)
2	Code Reviewing (in-class exercise; see Canvas for examples used)
3	Code Reviewing Specific to Tests (in-class exercise; see Canvas for examples used) Writing Unit Tests, and Tests as Specifications (see Canvas for an example iterator)
4	Week 4 Part 1 Lecture Notes
5	Week 5 Part 1 Lecture Notes
6	Given code for in-class exercise showing off coverage and mutation analysis
7	Given code for in-class exercise showing off automated testing
8	Lecture Notes on Automated Test Input Generation Strategies Automated Testing Examples
9	All materials from previous week
10	Example code generating and testing binary trees Property-based Testing Demo, in Java. This makes use of `junit-quickcheck`. Java is used for consistency with the rest of the class, but this is pretty ugly in Java. Property-based testing started with the QuickCheck library in Haskell, where it is much cleaner.