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.