Artificial intelligence methods in software testing (World Scientific, 2004)
Includes bibliographical references