Hardware and Software, Verification and Testing (Paperback)

Shmuel Ur

ISBN 10: 3540326049 / ISBN 13: 9783540326045

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2006

Beschreibung

Paperback. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verkäufers 9783540326045

Bibliografische Details

• Titel: Hardware and Software, Verification and Testing (Paperback)
• Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
• Erscheinungsjahr: 2006
• Sprache: Englisch
• ISBN-10: 3540326049
• ISBN-13: 9783540326045
• Einband: Paperback
• Zustand: new

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.