Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: 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 2006
    DBLP: db/conf/issta/padtad2006.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 9 of 9  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur.
    Producing scheduling that causes concurrent programs to fail.
    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 2006 (0) 2006
    Conference paper
    Margaret A. Wojcicki, Paul A. Strooper.
    A state-of-practice questionnaire on verification and validation for concurrent programs.
    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 2006 (0) 2006
    Conference paper
    Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne.
    Multi-environment software testing on the grid.
    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 2006 (0) 2006
    Conference paper
    Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen.
    A theory of data race detection.
    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 2006 (0) 2006
    Conference paper
    Rahul Agarwal, Scott D. Stoller.
    Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.
    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 2006 (0) 2006
    Conference paper
    Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier.
    Confirmation of deadlock potentials detected by runtime analysis.
    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 2006 (0) 2006
    Conference paper
    Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz.
    Formal verification of concurrent software: two case studies.
    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 2006 (0) 2006
    Conference paper
    M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas.
    A classification of concurrency bugs in java benchmarks by developer intent.
    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 2006 (0) 2006
    Conference paper
    Richard W. Vuduc, Martin Schulz 0001, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sæbjørnsen.
    Improving distributed memory applications testing by message perturbation.
    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 2006 (0) 2006
    Show item 1 to 9 of 9  

    Your query returned 9 matches in the database.