This user study has been concluded and does not accept new participants.
For reference, the tutorial and the experiments are still accessible. The survey is closed and no experimental data will be collected.
This study should take about 15 minutes and assumes basic knowledge of programming in JavaScript.
On the following pages, you will be guided through a brief introduction of esverify and its features, you will solve a series of simple programming tasks, and fill out a survey about your experience.