CMSC 838g: Advanced Topics in Programming Languages: Testing and Verification

Fall, 2021

The focus of this course is to explore advanced techiques in property-based testing/fuzzing, and formal verification, as well as their interplay. The first and larger part of the course will focus on random testing, with a focus on functional programs and the kind of structured data they usually operate on: algebraic data types. The latter part, to give the option to those taking 631 to catch up, will focus on advanced techniques for formal verification using the Coq proof assistant.

This will be a seminar-style course.