Especialização (Lato Sensu) em Inteligência Artificial para a Engenharia de Testes de Software