A state-of-practice questionnaire on verification and validation for concurrent programs

Wojcicki, M. A. and Strooper, P A (2006). A state-of-practice questionnaire on verification and validation for concurrent programs. In: L. Polloci and M. Pezze, Proceedings of the ISSTA 2006 Symposium & PADTAD-IV Workshop. Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV) 2006, Maine, U.S.A., (1-10). 17 July, 2006.


Author Wojcicki, M. A.
Strooper, P A
Title of paper A state-of-practice questionnaire on verification and validation for concurrent programs
Conference name Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV) 2006
Conference location Maine, U.S.A.
Conference dates 17 July, 2006
Proceedings title Proceedings of the ISSTA 2006 Symposium & PADTAD-IV Workshop
Place of Publication New York, USA
Publisher ACM Press
Publication Year 2006
Sub-type Fully published paper
DOI 10.1145/1147403.1147405
ISBN 1-59593-263-1
Editor L. Polloci
M. Pezze
Volume 1
Issue 1
Start page 1
End page 10
Total pages 10
Collection year 2006
Language eng
Abstract/Summary Research in verification and validation (V&V) for concurrent programs can be guided by 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.
Subjects E1
280302 Software Engineering
700102 Application tools and system utilities
0803 Computer Software
Keyword Verification and validation technology
Concurrent programs
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 50 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 22:15:36 EST