Skip to main content
Link
Search
Menu
Expand
Document
(external link)
CS 684 (Sp24)
Homeworks
Homework 0: Setup
Homework 1: Coverage Warmup
Homework 2: Coverage
Homework 3: Fuzzing with AFL
Homework 4: Generating Tests with EvoSuite
Homework 5: Invariants and Partial Oracles
Homework 6: Mutation Testing
Homework 7: Static Analysis with Infer
Homework 8: Abstract Interpretation Design
Homework 9: Abstract Interpretation Implementation
Homework 10: Formal Methods with Z3
Tutorials
How to Read a Paper
Calendar
Exams
Staff
Syllabus
Canvas
Discord
Gradescope
Table of contents
How to Read a Paper