Verificando a corretude de geradores automáticos de código
Made available in DSpace on 2014-06-12T15:57:28Z (GMT). No. of bitstreams: 2 arquivo3199_1.pdf: 729356 bytes, checksum: 6c269a282f3e408a30566d12c64fac0e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 === Os contratos (modelos que descre...
Main Author: | SOUSA, Thiers Garretti Ramos |
---|---|
Other Authors: | MOTA, Alexandre Cabral |
Language: | Portuguese |
Published: |
Universidade Federal de Pernambuco
2014
|
Subjects: | |
Online Access: | https://repositorio.ufpe.br/handle/123456789/2373 |
Similar Items
-
Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
by: Paula Fernanda Ramos Herculano
Published: (2007) -
Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
by: Herculano, Paula Fernanda Ramos
Published: (2007) -
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
by: SOUZA, Cléclio Feitosa de
Published: (2014) -
Geração automática de casos de testes para máquinas de estados finitos
by: Pedrosa, Lehilton Lelis Chaves, 1985-
Published: (2010) -
Gera??o de casos de teste a partir de especifica??es B
by: Souza, Fernanda Monteiro de
Published: (2014)