- Tiny Projects(25%)
- (Due 1/27 11:59pm, 5%) Using Valgrind memcheck to debug a given faulty program without knowing the fault. Description Buggy program Failure inducing input
- (Due 2/24 11:59pm, 15%) Using LLVM to construct call graph. Description Test Cases
- (Due 4/20 11:59pm, 5%) Testing with Klee. Description
- Term project(30%)DescriptionTest Cases