Seol mar théacs é seo: Artificial intelligence methods in software testing