Otimização bioinspirada para apoio à geração de dados de teste para software concorrente

Abstract

À Deus, primeiramente, pela sua presença constante na minha vida, pelo apoio nas minhas escolhas, por estar sempre comigo nos momentos mais difíceis e por fazer com que mais esse sonho se realize. Agradeço ainda por ter colocado em meu caminho pessoas tão especiais, que me ajudaram durante a realização deste Doutorado.