Accepted Papers

October 23 - 25, 2007
Organized by IBM Haifa Research Lab

• "Constraint Patterns and Search Procedures for CP-Based Random Test Generation",
  Anna Moss
  
  
• "On the Architecture of System Verification Environments",
  Mark A. Hillebrand and Wolfgang J. Paul
  
  
• "Exploiting Shared Structure in Software Verification Conditions",
  Domagoj Babic and Alan J. Hu
  
  
• "Locating Regression Bugs",
  Dor Nir, Shmuel Tyszberowicz, and Amiram Yehudai
  
  
• "On the Characterization of Until as a Fixed Point under Clocked Semantics",
  Dana Fisman
  
  
• "How Fast and Fat is Your Probabilistic Model Checker? An Experimental Performance Comparison",
  David N. Jansen, Joost-Pieter Katoen , Marcel Oldenkamp, Mariëlle Stoelinga, and Ivan Zapreev
  
  
• "Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code",
  Thomas Noll and Bastian Schlich
  
  
• "Verifying Parameterised Hardware Designs via Counter Automata",
  Ales Smrčka and Tomas Vojnar
  
  
• "GenUTest: A Unit Test and Mock Aspect Generation Tool",
  Benny Pasternak, Shmuel Tyszberowicz, and Amiram Yehudai
  
  
• "The Advantages of Post-link Code Coverage",
  Orna Raz, Moshe Klausner, Nitzan Peleg, Gad Haber, Eitan Farchi, Shachar Fienblit, Yakov Filiarsky, Shay Gammer, and Sergey Novikov
  
  
• "Test Case Generation for Ultimately Periodic Paths",
  Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, and Lenore Zuck
  
  
• "A Complete Bounded Model Checking Algorithm for Pushdown Systems",
  Gerard Basler, Daniel Kroening, Georg Weissenbacher
  
  
• "Using Virtual Coverage to Hit Hard-To-Reach Events",
  Laurent Fournier and Avi Ziv
  
  
• "Reactivity in SystemC Transaction-Level Models",
  Frederic Doucet, R.K. Shyamasundar, Ingolf H. Krueger, Saurabh Joshi, and Rajesh K. Gupta
  
  
• "Dynamic Testing via Automata Learning",
  Harald Raffelt, Bernhard Steffen, and Tiziana Margaria