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

Margaret A. Wojcicki, Paul A. Strooper

Browse the full ISSTA paper archive.