A State-of-Practice Questionnaire on Verification and Validation for Concurrent Programs
[questionnaire][results][presentation slides]

Abstract:
Research in verification and validation (V&V) for concurrent programs can benefit from practitioner information. A survey was therefore run to gain state-of-practice information in this context. The survey presented in this paper collected state-of-practice information on V&V technology in concurrency from 35 respondents. The results of the survey can help refine existing V&V technology, by providing a better understanding of the context of V&V technology usage. Responses to questions regarding the motivation for selecting V&V technologies can help refine a systematic approach to V&V technology selection.

“The scientific mind does not so much provide the right answers as ask the right questions.”
Claude Levi-Strauss