Dissertação de mestrado Acesso aberto

Mining hints for fixing formal specifications

Mineração de sugestões para corrigir especificações formais