Study of the Use of Property Probes in an Educational Setting (Artifact)

This is an artifact for the paper "Study of the Use of Property Probes in an Educational Setting".
The artifact contains data related to the interviews and log-file analysis. For example, it contains the following:

Interviews:

• The interview design and forms filled out by the interviewee.
• The coding scheme which was extracted from the interview transcripts.

Log-file analysis:

• A script used to process the gathered log files into a single csv file.
• An anonymised version of that csv file.

A separate artifact containing the handout code for the labs related to the study is available here: https://doi.org/10.5281/zenodo.13380279.