Volume 11, Issue 4 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 11, Issue 4

October 2009

Special Section on HVC 07

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Haifa verification conference 2007
Karen Yorav
Introduction 03 September 2009 Pages: 269 - 272
GenUTest: a unit test and mock aspect generation tool
Benny Pasternak
Shmuel Tyszberowicz
Amiram Yehudai
Regular Paper 03 September 2009 Pages: 273 - 290
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
Dynamic testing via automata learning
Harald Raffelt
Maik Merten
Tiziana Margaria
Regular Paper 08 October 2009 Pages: 307 - 324
Approximating the safely reusable set of learned facts
Domagoj Babić
Alan J. Hu
Regular Paper 03 September 2009 Pages: 325 - 338
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