Hong Zhu W. Eric Wong Fevzi Belli Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. AST ACM 2008 db/conf/icse/ast2008.html