Automatic generation of the cases derived from algebraic specifications

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

Bibliographic Details
Main Author: Andrade, Francisco Xavier Richardson Rebello de
Other Authors: Faria, João Carlos Pascoal de
Format: Others
Language:Portuguese
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/10216/59949