You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
Special Section on HVC 07
269-272
Introduction
Haifa verification conference 2007
Karen Yorav
273-290
Regular Paper
GenUTest: a unit test and mock aspect generation tool
Benny Pasternak, Shmuel Tyszberowicz and Amiram Yehudai
291-305
Using Bayesian networks and virtual coverage to hit hard-to-reach events
Shai Fine, Laurent Fournier and Avi Ziv
307-324
Dynamic testing via automata learning
Harald Raffelt, Maik Merten, Bernhard Steffen and Tiziana Margaria
325-338
Approximating the safely reusable set of learned facts
Domagoj Babić and Alan J. Hu
339-353
A survey of new trends in symbolic execution for software testing and analysis
Corina S. Păsăreanu and Willem Visser
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info