Validation and Verification: Practical Session

This practical session will help to better understand property-based testing, and in particular the tool jqwik.

Exercises

You can access the exercises here

Lab implementation

You can realize this lab by group of 1 or 2.

Deliverable and evaluation

Students are free to realize either this practical work or the TP5.

You must fork this repository and submit a merge request with your answers directly here.

Deadline: December 19th, 2025, at 23:59.

Important: To be considered for grading, all members of the group must be tagged in the description of the merge request.