Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/68210
Author(s): Silva, Francisco Ricardo Pinto da
Title: Geração automática de testes a partir de especificações algébricas
Issue Date: 2012
Date: 2012
Description: Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012
Subject: Especificações algébricas
Testes de software
Qualidade do software
Other Identifiers: oai:digitool.fe.up.pt:247827
DOI: 10.34626/aqgn-5d82
URI: http://hdl.handle.net/10216/68210
Related Information: FEUP
SDI
RiFEUP
Document Type: Dissertação
Rights: openAccess
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
000155008.pdf814.05 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.