Differences

This shows you the differences between two versions of the page.

--- quiz3 [2017/02/02 02:54] – franck
+++ quiz3 [2020/02/04 16:12] (current) – franck
@@ Line 1: / Line 1: @@
 ====== Quiz 3 ======
-The third quiz will be about listeners (the material covered in lab 5 and lectures 7-9). Slides of lectures 7-9 as well as the posted notes will be available during the quiz. No other material may be consulted during the quiz. You will be asked to implement a listener.  Not only correctness but also design and style will be considered when evaluating your work.
+The third quiz will be about JPF's search strategies. Slides of the relevant lectures as well as the JPF notes and the API of Java and JPF will be available during the quiz. No other material may be consulted during the quiz. Not only correctness but also design and style will be considered when evaluating your work.