Artificial Intelligence Methods in Software Testing - Last, Mark; Kandel, Abraham; Bunke, Horst (Series in Machine Perception and Artificial Intelligence, 2004)