ICSE 2024 (series) / Artifact Evaluation /
Assessing the impact of hints in learning formal specification: Research artifact
This artifact accompanies the SEET@ICSE article “Assessing the impact of hints in learning formal specification”, containing the material required to replicate the experiment described therein, as well as the collected data and data analysis scripts. We are applying to both the Available and Reusable badges. No particular technological skills or special environments are required to evaluate the artifact, only the installation of the free software R to run the statistical analyses.