An Artificial Intelligence Approach to Test Generation (Kluwer International Series in Engineering and Computer Science, 19)