Automation of Software Test--Report on the Second Interional Workshop AST 2007 | IEEE Conference Publication | IEEE Xplore