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

• Autor(es): Silva, Francisco Ricardo Pinto da
• Data: 2013
• Identificador Persistente: http://hdl.handle.net/10216/68210
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Especificações algébricas; Testes de software; Qualidade do software
• Tipo de Documento: Dissertação de Mestrado
• Idioma: Português
• Orientador(es): Faria, João Carlos Pascoal de; Universidade do Porto. Faculdade de Engenharia

Descrição

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