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. 1-10 2006 PADTAD http://doi.acm.org/10.1145/1147403.1147405 conf/issta/2006p db/conf/issta/padtad2006.html#WojcickiS06