Hi everyone,
I am Yiliang Liang, a PhD student at Carnegie Mellon University advised by Prof. Eunsuk Kang and Prof. Joshua Sunshine. My research is on the roles that visualizations play in making formal modeling more accessible and usable to stakeholders.
We are now running a human-subject study, which compares different ways in which people create custom visualizations for Alloy instances. If you would like to participate, please fill out the following form:
Once you fill out the form, we will follow up with you to sign up for a 1-hour study session, where you will create visualizations for some Alloy models. After you complete the study, we will be happy to reward you with USD 25 of Amazon gift cards.
Thank you so much for your consideration! If you have any questions, feel free to either respond to this thread, or email yiliangl@andrew.cmu.edu.