[Javapathfinder-user] JPF survey

[JA. S. <JA....@st...>]

Dear sir/madam,

I am Jantien Sessink, a student in Computer Science at the Radboud University in Nijmegen, the Netherlands. For my master thesis I am doing research on the usability of Java PathFinder. Therefore I need some information from JPF users. 

I am gathering information on the usefulness and the ease of use of JPF and the features of JPF that influence these two aspects. This information will be used to evaluate which aspect of JPF could be changed in order to increase its usability. To obtain this information, I have put together a questionnaire containing various questions about this subject.

I would be very grateful if you could help me and fill in the questionnaire at the bottom of this email. It will take approximately 10 minutes to answer the questions, the information will not be used outside of this research and the questionnaire results are used anonymously. If you fill in the questionnaire, I will send you a copy of the research outcome. 

Kind regards,

Jantien Sessink
Radboud University
Ja....@st...


------------------------------------------------------------------------------------
This questionnaire contains some questions about your experience with Java PathFinder (JPF). All questions in the first half should be answered on a seven-point scale. Please type the answer between the square brackets. The second half contains open questions. It will take approximately 10 minutes to fill in this form.

PART 1

Scale Used:
1	: Strongly Agree
2	: Moderately Agree
3	: Slightly Agree
4	: Neutral
5	: Slightly Disagree
6	: Moderately Disagree
7	: Strongly Disagree

Perceived Usefulness
1. Using JPF improves the quality of software I build.[]
2. JPF enables me to find concurrency issues more quickly.[]
3. Using JPF allows me to find more concurrency problems than would otherwise be possible.[]
4. Overall, I find JPF useful in my job.[]

Perceived Ease of Use
5. I find interacting with JPF easy.[]
6. I find it easy to get JPF to do what I want it to do.[]
7. Learning to operate JPF was easy for me.[]
8. Overall, I find JPF easy to use.[]

Predicted Future Use
9. I predict I will use JPF on a regular basis in the future.[]

PART 2

The following questions are open questions.

JPF features
10. Why do you find JPF useful or not?


11. What needs to be changed/added to JPF to make it more useful according to you?


12. Why do you find JPF easy to use or not?


13. What needs to be changed/added to JPF to make it easier to use according to you?


14. Do you think you have a positive attitude towards new software tools?


General questions
I am a Man/Woman


How old are you?


What is your highest level of education (Bachelor/Master/PhD/Other)


How many years of experience with model checking do you have?


How many years of experience with Java do you have? 


What is your job title?


How long have you been working with JPF?


Where do you use JPF for?


Do you know anyone else who might use JPF, if so, could you forward this email to him/her?


Thank you very much for filling in this questionnaire.
------------------------------------------------------------------------------------