Automatic generation of the cases derived from algebraic specifications

• Author(s): Andrade, Francisco Xavier Richardson Rebello de
• Date: 2012
• Persistent ID: http://hdl.handle.net/10216/59949
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Geração automática de testes; Especificações algébricas
• Document Type: Master Thesis
• Language: Portuguese
• Advisor(s): Faria, João Carlos Pascoal de; Pimenta, Ana Cristina Ramada Paiva; Universidade do Porto. Faculdade de Engenharia

Description

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