PADTAD 2006: Portland, Maine, USA

Shmuel Ur, Eitan Farchi (Eds.): 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 17, 2006. ACM 2006, ISBN 1-59593-414-6 BibTeX

State of practice

Margaret A. Wojcicki, Paul A. Strooper:
A state-of-practice questionnaire on verification and validation for concurrent programs. 1-10
Electronic Edition (ACM DL) BibTeX
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz:
Formal verification of concurrent software: two case studies. 11-22
Electronic Edition (ACM DL) BibTeX
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas:
A classification of concurrency bugs in java benchmarks by developer intent. 23-26
Electronic Edition (ACM DL) BibTeX

Stressing concurrent programs

Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sæbjørnsen:
Improving distributed memory applications testing by message perturbation. 27-36
Electronic Edition (ACM DL) BibTeX
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur:
Producing scheduling that causes concurrent programs to fail. 37-40
Electronic Edition (ACM DL) BibTeX

Deadlock detection

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. 41-50
Electronic Edition (ACM DL) BibTeX
Rahul Agarwal, Scott D. Stoller:
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. 51-60
Electronic Edition (ACM DL) BibTeX

Grid and races

Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne:
Multi-environment software testing on the grid. 61-68
Electronic Edition (ACM DL) BibTeX
Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen:
A theory of data race detection. 69-78
Electronic Edition (ACM DL) BibTeX