1. Preface

   • Hana Chockler
   • Alan J. Hu

   Introduction 31 March 2011 Pages: 201 - 205

2. Evaluating workloads using comparative functional coverage

   • Yoram Adler
   • Dale Blue
   • Shmuel Ur

   HVC 2008 06 August 2010 Pages: 207 - 221

3. Iterative delta debugging

   • Cyrille Artho

   HVC 2008 07 March 2010 Pages: 223 - 246

4. Automatic boosting of cross-product coverage using Bayesian networks

   • Dorit Baras
   • Shai Fine
   • Avi Ziv

   HVC 2008 16 May 2010 Pages: 247 - 261

5. Reducing the size of resolution proofs in linear time

   • Omer Bar-Ilan
   • Oded Fuhrmann
   • Ofer Strichman

   HVC 2008 25 August 2010 Pages: 263 - 272

6. A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata

   • K. Bauer
   • R. Gentilini
   • K. Schneider

   HVC 2008 21 May 2010 Pages: 273 - 287