The deferred final exam will be available at this course wiki on Friday April 24 at 2 pm. Solutions need to be submitted before Friday April 24 at 4 pm.

The exam will cover the material covered after the midterm. The exam will consist of one question. The question will be somewhat similar to Labs 5, 6, 7 and 8.

Students are allowed to collaborate with each other. There is no limit on the size of a group. Each group submits their solution, including a file named group.txt that contains the names of the group members. Collaborating but not acknowledging collaboration in the submission is academically dishonest.

The instructor will be on Zoom during the exam to answer questions. Students may want to be on Zoom as well so that they can benefit from answers to questions of other students.

Volunteers of Amazon, No Frills, Staples, and Urban Outfitters collaborate to make face masks. These face masks consist of a bandana, a coffee filter, and two rubber bands (details on how to make such a face mask can be found here). No Frills provides coffee filters, Staples provides rubber bands, Urban Outfitters provides bandanas, and Amazon provides all three ingredients.

The four volunteers surround a work bench. The Amazon volunteer randomly picks two of the three ingredients and places them on the bench. The volunteer who has the third ingredient makes a mask out of the ingredients on the bench and its own ingredient. Once sufficiently many masks have been made, the Amazon volunteer puts three gift cards on the bench for the other three volunteers.

During the test, you are provided with the classes Amazon, NoFrills, Staples, UrbanOutfitters, WorkBench, and Main. These classes and some other code will be available at 2 pm here. The APIs of these classes can be found here. During the exam, you are expected to apply JPF to this code in order to verify properties of the code. You should describe how you applied JPF to the code (such as documenting how you configured JPF, which properties you checked, how you added code to the classes to check for particular properties, what output JPF produced, what you concluded from that output, if you detected any bugs (this does not imply that the code contains any bugs) and how you corrected those bugs (if there are any)). Please describe all the steps in sufficient details so that the instructor can reproduce your work. The focus of the exam is on the process of applying JPF to the provided code. You should submit a report describing all the steps, as well as your modified classes (try to make as few, if any, changes as needed), other code that you developed, application configuration files, etc.

Submit all the files, including group.txt, by using

submit 4315 deferred <name of file>

before 4 pm.