Automatic generation of the cases derived from algebraic specifications

• Autor(es): Andrade, Francisco Xavier Richardson Rebello de
• Data: 2012
• Identificador Persistente: http://hdl.handle.net/10216/59949
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Geração automática de testes; Especificações algébricas
• Tipo de Documento: Dissertação de Mestrado
• Idioma: Português
• Orientador(es): Faria, João Carlos Pascoal de; Pimenta, Ana Cristina Ramada Paiva; Universidade do Porto. Faculdade de Engenharia

Descrição

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010