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

Margaret A. Wojcicki, Paul A. Strooper. A state-of-practice questionnaire on verification and validation for concurrent programs. In Shmuel Ur, Eitan Farchi, editors, Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July . pages 1-10, ACM, 2006. [doi]

Abstract

Abstract is missing.