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

State of practice

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/WojcickiS06
- ask others
Margaret A. Wojcicki, Paul A. Strooper: A state-of-practice questionnaire on verification and validation for concurrent programs. 1-10
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/ChocklerFGGNR06
- ask others
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. 11-22
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/KeremogluTE06
- ask others
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas: A classification of concurrency bugs in java benchmarks by developer intent. 23-26

Stressing concurrent programs

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/VuducSQSS06
- ask others
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
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/Ben-AsherEFU06
- ask others
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur: Producing scheduling that causes concurrent programs to fail. 37-40

Deadlock detection

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/BensalemFHM06
- ask others
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. 41-50
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/AgarwalS06
- ask others
Rahul Agarwal, Scott D. Stoller: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. 51-60

Grid and races

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/DuarteWBC06
- ask others
Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne: Multi-environment software testing on the grid. 61-68
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/BanerjeeBMP06
- ask others
Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen: A theory of data race detection. 69-78