Artificial intelligence Methods in Software Testing - Bunke, Horst, 1949-; Kandel, Abraham; Last, Mark (World Scientific, 2004)