ISSTA 2011 Workshop
2011 International Symposium on Software Testing and Analysis (ISSTA 2011)
Powered by
Conference Publishing Consulting
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011), July 17, 2011, Toronto, ON, Canada

PADTAD 2011 – Proceedings

 Contents - Abstracts - Authors

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011)

Preface

Title Page
Foreword

Session 1: Invited Talk

Research in Concurrent Software Testing: A Systematic Review
Simone R. S. Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo S. L. Souza, and Ed Zaluska
(Universidade de São Paulo São Carlos, Brazil; University of Southampton, UK)

Session 2: Debugging

Deterministic Replay for MCAPI Programs
Mohamed Elwakil and Zijiang Yang
(Western Michigan University, USA)
Java Replay for Dependence-based Debugging
Jan Lönnberg, Mordechai Ben-Ari, and Lauri Malmi
(Aalto University, Finland; Weizmann Institute of Science, Israel)
Practical Verification of High-Level Dataraces in Transactional Memory Programs
Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, and Diogo Sousa
(Universidade Nova de Lisboa, Portugal; IBM Research Haifa, Israel)

Session 3: Design for Correctness

Refactoring Java Programs using Concurrent Libraries
Kazuaki Ishizaki and Toshio Nakatani
(IBM Research Tokyo, Japan; IBM Research Watson, USA)
Extending a Distributed Loop Network to Tolerate Node Failures
Abdel Aziz Farrag
(Dalhousie University, Canada)

Session 4: Testing

Executing Association Rule Mining Algorithms under a Grid Computing Environment
Raja Tlili and Yahya Slimani
(Tunis El Manar University, Tunisia)

proc time: 0.01