Symbolic Execution Study

This is the entry page for the human study on symbolic execution (symexec-study). If you are a participant you should've received an email with a link to the Dojo in this site. After registering an account, you should be able to access it with the link. If you did not get a link but believe you should've, please email Irina Ford at iford3@asu.edu.