1. Haifa verification conference 2007

   • Karen Yorav

   Introduction 03 September 2009 Pages: 269 - 272

2. GenUTest: a unit test and mock aspect generation tool

   • Benny Pasternak
   • Shmuel Tyszberowicz
   • Amiram Yehudai

   Regular Paper 03 September 2009 Pages: 273 - 290

3. Using Bayesian networks and virtual coverage to hit hard-to-reach events

   • Shai Fine
   • Laurent Fournier
   • Avi Ziv

   Regular Paper 03 September 2009 Pages: 291 - 305

4. Dynamic testing via automata learning

   • Harald Raffelt
   • Maik Merten
   • Tiziana Margaria

   Regular Paper 08 October 2009 Pages: 307 - 324

5. Approximating the safely reusable set of learned facts

   • Domagoj Babić
   • Alan J. Hu

   Regular Paper 03 September 2009 Pages: 325 - 338

6. A survey of new trends in symbolic execution for software testing and analysis

   • Corina S. Păsăreanu
   • Willem Visser

   Regular Paper 30 August 2009 Pages: 339 - 353