Geração automática de testes a partir de especificações algébricas

• Author(s): Silva, Francisco Ricardo Pinto da
• Date: 2013
• Persistent ID: http://hdl.handle.net/10216/68210
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Especificações algébricas; Testes de software; Qualidade do software
• Document Type: Master Thesis
• Language: Portuguese
• Advisor(s): Faria, João Carlos Pascoal de; Universidade do Porto. Faculdade de Engenharia

Description

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