Adam Leon Smith Artificial Intelligence and Software Testing