Testing Software with Artificial Intelligence