Artificial intelligence methods in software testing - Last, Mark; Kandel, Abraham; Bunke, Horst (Series in machine perception and artificial intelligence, 2004)