Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/59949| Autor(es): | Andrade, Francisco Xavier Richardson Rebello de |
| Título: | Automatic generation of the cases derived from algebraic specifications |
| Data de publicação: | 2010 |
| Data: | 2010 |
| Descrição: | Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 |
| Assunto: | Geração automática de testes Especificações algébricas |
| Identificador: | oai:digitool.fe.up.pt:233052 |
| DOI: | 10.34626/ngc4-kr77 |
| URI: | http://hdl.handle.net/10216/59949 |
| Informação Relacionada: | Versãodefinitiva |
| Tipo de Documento: | Dissertação |
| Condições de Acesso: | openAccess |
| Aparece nas coleções: | FEUP - Dissertação |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 000145607.pdf | 2 MB | Adobe PDF |  Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.