Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets > Visualizar Publicações Relacionadas

Publicações

Publicações com os mesmos autores da publicação A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

Agrupar Por: Ordenação:

Outra Publicação em Revista Científica Internacional

Message from conference chairs: QUATIC 2012
Faria, JP (Autor) (FEUP); Paiva, A (Autor) (FEUP); Da Silva, AR (Autor) (Outra); Da Silva, AR (Autor) (Outra)

Artigo em Revista Científica Internacional

Towards the integration of visual and formal models for GUI testing
Ana C. R. Paiva (Autor) (FEUP); João C. P. Faria (Autor) (FEUP); Raul F. A. M. Vidal (Autor) (Outra)
Specification-based testing of user interfaces
Ana C. R. Paiva (Autor) (FEUP); João C. P. Faria (Autor) (FEUP); Raul F. A. M. Vidal (Autor) (Outra)
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
João Pascoal Faria (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP)
Dynamic Reverse Engineering of Graphical User Interfaces
Inês Coimbra Morgado (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)
A model-to-implementation mapping tool for automated model-based GUI testing
Ana C. R. Paiva (Autor) (FEUP); João C. P. Faria (Autor) (FEUP); Nikolai Tillmann (Autor) (Outra); Raul A. M. Vidal (Autor) (Outra)

Artigo em Livro de Atas de Conferência Nacional

Reverse engineering of GUI models
André Marcelo Pinto Grilo (Autor) (FEUP); Ana Cristina Ramada Paiva (Autor) (FEUP); João Carlos Pascoal de Faria (Autor) (FEUP)
Métodos Formais na Especificação de Interfaces com o Utilizado: a Linguagem VDM++ e o Tratamento de Eventos
Ana Cristina Paiva Pimenta (Autor) (FEUP); João Carlos Pascoal de Faria (Autor) (FEUP); Raul Moreira Vidal (Autor) (FEUP); José Nuno Oliveira (Autor) (Outra)
2002
Geração de Testes a partir de Especificações Algébricas de Tipos Genéricos usando Alloy
Francisco R. de Andrade (Autor) (FEUP); João P. Faria (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP); Antónia Lopes (Autor) (Outra)

Artigo em Livro de Atas de Conferência Internacional

Test Generation from UML Sequence Diagrams
Joao Pascoal Faria (Autor) (FEUP); Ana C R Paiva (Autor) (FEUP); Zhuanli L Yang (Autor) (Outra)
TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
De Andrade, FR (Autor) (Outra); Faria, JP (Autor) (FEUP); Paiva, ACR (Autor) (FEUP)
Test coverage analysis of UML state machines
Ricardo D. F. Ferreira (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP); João P. Faria (Autor) (FEUP)
Test coverage analysis of UML activity diagrams for interactive systems
Ricardo D. F. Ferreira (Autor) (Outra); João P. Faria (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP)
Techniques and toolset for conformance testing against UML sequence diagrams
Faria, JP (Autor) (FEUP); Paiva, ACR (Autor) (FEUP); De Castro, MV (Autor) (Outra)
Specification-driven unit test generation for java generic classes
Rebello De Andrade, F (Autor) (Outra); Faria, JP (Autor) (FEUP); Lopes, A (Autor) (Outra); Paiva, ACR (Autor) (FEUP)
Reverse engineering of GUI models for testing
André M. P. Grilo (Autor) (Outra); Ana C. R. Paiva (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)
Reverse engineering of graphical user interfaces
Inês Coimbra Morgado (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)
Reverse engineered formal models for GUI testing
Ana C. R. Paiva (Autor) (FEUP); Joao C. P. Faria (Autor) (FEUP); Pedro M. C. Mendes (Autor) (Outra)
Modeling and Testing Hierarchical GUIs
Ana C. R. Paiva (Autor) (FEUP); Nikolai Tillmann (Autor) (Outra); João C. P. Faria (Autor) (FEUP); Raul F. A. M. Vidal (Autor) (FEUP)
2005
Documentos

Registos 1 a 20 de 27

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-17 às 07:20:50 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias