MARC Record from harvard_bibliographic_metadata

LEADER: 03308cam a22003737a 4500
001 010111926-7
005 20060922143305.0
008 060125s2006 gw a b 101 0 eng d
010 $a 2006921186
020 $a3540326049
024 3 $a9783540326045
035 0 $aocm68439376
040 $aYUS$cYUS$dOHX$dCUS$dC$Q$dVRC$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bI54 2005
082 00 $a005.1/4$222
111 2 $aInternational Haifa Verification Conference$n(1st :$d2005 :$cHaifa, Israel)
245 10 $aHardware and software, verification and testing :$bFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /$cShmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.).
246 30 $aFirst International Haifa Verification Conference
246 30 $aInternational Haifa Verification Conference
260 $aBerlin ;$aNew York :$bSpringer,$c2006.
300 $ax, 264 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3875
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
505 00 $tPath-based system level stimuli generation /$rShady Copty, Itai Jaeger and Yoav Katz --$tThe safety simple subset /$rShoham Ben-David, Dana Fisman and Sitvanit Ruah --$tA case for runtime validation of hardware /$rSharad Malik --$tAssertion-based verification for the SpaceCAKE multiprocessor -- a case study /$rMilind Kulkarni and J. Benita Bommi --$tSimultaneous SAT-based model checking of safety properties /$rZurab Khasidashvili, Alexander Nadel, Amit Palti and Ziyad Hanna --$tHaifaSat : a new robust SAT solver /$rRoman Gershman and Ofer Strichman --$tProduction-testing of embedded systems with aspects /$rJani Pesonen, Mika Katara and Tommi Mikkonen --$tAssisting the code review process using simple pattern recognition /$rEitan Farchi and Bradley R. Harrington --$tAn extensible open-source compiler infrastructure for testing /$rDan Quinlan, Shmuel Ur and Richard Vuduc --$tEffective black-box testing with genetic algorithms /$rMark Last, Shay Eyal and Abraham Kandel --$tOptimal algorithmic debugging and reduced coverage using search in structured domains /$rYosi Ben-Asher, Igor Breser, Eitan Farchi and Ilia Gordon --$tBenchmarking and testing OSD for correctness and compliance /$rDalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman and Eitan Yaffe --$tA kernel-based communication fault injector for dependability testing of distributed systems /$rRoberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade and Taisy Silva Weber --$tDetecting potential deadlocks with static analysis and run-time monitoring /$rRahul Agarwal, Liqiang Wang and Scott D. Stoller --$tDynamic deadlock analysis of multi-threaded programs /$rSaddek Bensalem and Klaus Havelund --$tVerification of the Java causality requirements /$rSergey Polyakov and Assaf Schuster --$tChoosing among alternative futures /$rSteve MacDonald, Jun Chen and Diego Novillo.
650 0 $aComputer programs$xVerification$vCongresses.
650 0 $aSoftware architecture$vCongresses.
650 0 $aComputer input-output equipment$vCongresses.
700 1 $aUr, Shmuel.
700 1 $aBin, Eyal.
700 1 $aWolfsthal, Yaron.
988 $a20060922
906 $0OCLC