default search action

combined dblp search
author search
venue search
publication search

ask others

PADTAD 2006: Portland, Maine, USA

> Home > Conferences and Workshops > PADTAD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/issta/2006p
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2006p
Shmuel Ur, Eitan Farchi:
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
  authority control:
- export record
  dblp key:
  - conf/issta/WojcickiS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WojcickiS06
Margaret A. Wojcicki, Paul A. Strooper:
A state-of-practice questionnaire on verification and validation for concurrent programs. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChocklerFGGNR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChocklerFGGNR06
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz:
Formal verification of concurrent software: two case studies. 11-22
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KeremogluTE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KeremogluTE06
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas:
A classification of concurrency bugs in java benchmarks by developer intent. 23-26

Stressing concurrent programs

- view
  authority control:
- export record
  dblp key:
  - conf/issta/VuducSQSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/VuducSQSS06
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
  authority control:
- export record
  dblp key:
  - conf/issta/Ben-AsherEFU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Ben-AsherEFU06
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur:
Producing scheduling that causes concurrent programs to fail. 37-40

Deadlock detection

- view
  authority control:
- export record
  dblp key:
  - conf/issta/BensalemFHM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BensalemFHM06
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AgarwalS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AgarwalS06
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
  authority control:
- export record
  dblp key:
  - conf/issta/DuarteWBC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DuarteWBC06
Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne:
Multi-environment software testing on the grid. 61-68
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BanerjeeBMP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BanerjeeBMP06
Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen:
A theory of data race detection. 69-78

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.