Coursework

The coursework consists of two parts: (1) build a fuzzer (randomized tester) to find bugs in SAT solvers; (2) give a presentation about a software reliability tool of your choice. The coursework is worth 33% of the marks for the module.

To reduce your workload, you can (and are encouraged to) undertake the coursework in groups of up to three students.

Full coursework specifications will be provided on CATe.

Examination

The final exam will be based on the lecture material, concepts from the practical coursework, and the required reading (see the Reading List). The guest lecture will is examinable.

You will be required to answer one questions from a choice of two.

The breakdown of percentage marks for the course is as follows:

  • Coursework: 33%
  • Final exam: 67%

The coursework is further broken down as follows:

  • Project (fuzzer): 85%
  • Presentation: 15%