LEADER 04642nam 2200673 a 450 001 9910484382003321 005 20200520144314.0 010 $a3-540-32605-7 024 7 $a10.1007/11678779 035 $a(CKB)1000000000232840 035 $a(SSID)ssj0000318068 035 $a(PQKBManifestationID)11205744 035 $a(PQKBTitleCode)TC0000318068 035 $a(PQKBWorkID)10308778 035 $a(PQKB)10587006 035 $a(DE-He213)978-3-540-32605-2 035 $a(MiAaPQ)EBC3067660 035 $a(PPN)123131847 035 $a(EXLCZ)991000000000232840 100 $a20060125d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHardware and software, verification and testing $eFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /$fShmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) 205 $a1st ed. 2006. 210 $aBerlin ;$aNew York $cSpringer$d2006 215 $a1 online resource (X, 270 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3875 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32604-9 320 $aIncludes bibliographical references and index. 327 $aHardware Verification -- Path-Based System Level Stimuli Generation -- The Safety Simple Subset -- A Case for Runtime Validation of Hardware -- Assertion-Based Verification for the SpaceCAKE Multiprocessor ? A Case Study -- Simultaneous SAT-Based Model Checking of Safety Properties -- HaifaSat: A New Robust SAT Solver -- Software Testing -- Production-Testing of Embedded Systems with Aspects -- Assisting the Code Review Process Using Simple Pattern Recognition -- An Extensible Open-Source Compiler Infrastructure for Testing -- Effective Black-Box Testing with Genetic Algorithms -- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains -- Benchmarking and Testing OSD for Correctness and Compliance -- PADTAD -- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing Among Alternative Futures. 330 $aThe 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. 410 0$aLecture notes in computer science ;$v3875. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 517 3 $aFirst International Haifa Verification Conference 517 3 $aInternational Haifa Verification Conference 606 $aComputer systems$xVerification$vCongresses 606 $aComputer software$xVerification$vCongresses 606 $aComputer programs$xVerification$vCongresses 606 $aIntegrated circuits$xVerification$vCongresses 615 0$aComputer systems$xVerification 615 0$aComputer software$xVerification 615 0$aComputer programs$xVerification 615 0$aIntegrated circuits$xVerification 676 $a005.1/4 701 $aUr$b Shmuel$0885756 701 $aBin$b Eyal$01762337 701 $aWolfsthal$b Yaron$01762338 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484382003321 996 $aHardware and software, verification and testing$94202198 997 $aUNINA