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

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

Bibliographic Details
Main Author: Silva, Francisco Ricardo Pinto da
Other Authors: Faria, João Carlos Pascoal de
Format: Others
Language:Portuguese
Published: 2012
Subjects:
Online Access:http://hdl.handle.net/10216/68210