You are invited to evaluate a new tool for discovering likely Code Contracts for C# software.
Participants will use a Visual Studio add-in that observes a program execution (e.g., test suite run) to identify likely Code Contracts, and choose contracts to insert into their program. Participants will additionally be interviewed about their experience
using the tool and their use of Code Contracts in practice.
If you are at least 21 years old and are working on a C# project that uses Code Contracts, 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 via email and phone (or Skype); 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 at
email@example.com. The University of Washington Human Subjects Division requires us to inform you that we cannot guarantee the confidentiality of information sent by email.