Study of the Use of Property Probes in an Educational Setting

Anton Risberg Alaküla, Niklas Fors, Emma Söderberg

Context: Developing compilers and static analysis tools ("language tools") is a difficult and time-consuming task. We have previously presented *property probes*, a technique to he…