You are invited to evaluate a tool for verifying the absence of bugs in software.
Participants will spend 2 – 4 1/2 hours working through a tutorial, taking a short comprehension quiz, using the verification tool, and answering a questionnaire. Each participant that completes the study will be given a $60 Amazon gift certificate. The study will take place at the Paul Allen Center at the University of Washington.
If you are over 18 and have completed CSE 331 (or its equivalent), you may be eligible to participate. The risks associated with study are consistent with the risks of regular computer use, including but not limited to: ergonomic risk, and possible frustration when learning and performing the computer task.
This study is being conducted in the Department of Computer Science and Engineering at the University of Washington, Seattle campus. Your participation in this research is voluntary, and you are free to refuse to participate or quit the experiment at any time.
If you have questions about the research or are interested in participating, please contact Todd Schiller by email attws@cs.washington.edu.