2. Haifa Verification Conference 2006: Haifa, Israel

Hardware Verification Track

• Thomas Tuerk, Klaus Schneider, Mike Gordon:
  Model Checking PSL Using HOL and SMV. 1-15
  
• Amir Nahir, Yossi Shiloach, Avi Ziv:
  Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. 16-33
  
• Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir:
  Extracting a Simplified View of Design Functionality Based on Vector Simulation. 34-49
  
• Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
  Automatic Fault Localization for Property Checking. 50-64
  
• Tobias Schüle, Klaus Schneider:
  Verification of Data Paths Using Unbounded Integers: Automata Strike Back. 65-80
  

Tools Track

• Itai Yarom, Viji Patil:
  Smart-Lint: Improving the Verification Flow. 81-91
  
• Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
  Model-Driven Development with the jABC. 92-108
  
• Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia:
  Detecting Design Flaws in UML State Charts for Embedded Software. 109-121
  
• Shmuel Ur:
  A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. 122-123
  
• Shmuel Ur, Elad Yom-Tov, Paul Wernick:
  An Open Source Simulation Model of Software Development and Testing. 124-137
  

Software Testing Track

• Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz:
  ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. 138-154
  
• Stella Levin, Amiram Yehudai:
  Evolutionary Testing: A Case Study. 155-165
  
• Koushik Sen, Gul Agha:
  A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. 166-182
  
• Yaniv Eytani, Timo Latvala:
  Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. 183-197
  
• Michael Jackson:
  Testing the Machine in the World. 198-203
  
• Alan Hartman, Mika Katara, Sergey Olvovsky:
  Choosing a Test Modeling Language: A Survey. 204-218
  
• Mika Katara, Antti Kervinen:
  Making Model-Based Testing More Agile: A Use Case Driven Approach. 219-234