Publicações com os mesmos autores da publicação Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicaçã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)

2012

Indexação

ISI Web of Knowledge

Scopus

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)

2007

Classificação Científica Indexação Documentos

ISI Web of Knowledge

Scopus - 17 Citações

CORDIS: Tecnologia de software

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2003

Classificação Científica Indexação Documentos

ISI Proceedings

ISI Web of Knowledge - 6 Citações

ISI Web of Science

Scopus - 10 Citações

INSPEC

FOS: Ciências da computação e da informação

CORDIS: Tecnologia de software

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2013

Classificação Científica Indexação Documentos

ISI Web of Knowledge

FOS: Engenharia electrotécnica, electrónica e informática

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2012

Classificação Científica

FOS: Engenharia electrotécnica, electrónica e informática

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

João Pascoal Faria (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP)

2016

Classificação Científica Indexação Documentos

ISI Web of Knowledge - 6 Citações

Scopus - 10 Citações

INSPEC

CORDIS: Tecnologia da informação

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2005

Classificação Científica Indexação Documentos

ISI Proceedings

ISI Web of Knowledge - 29 Citações

Scopus - 51 Citações

INSPEC

FOS: Ciências da computação e da informação

CORDIS: Engenharia de computadores

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2009

Classificação Científica

FOS: Engenharia electrotécnica, electrónica e informática

CORDIS: Tecnologia de interface

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)

2011

Classificação Científica

FOS: Engenharia electrotécnica, electrónica e informática

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)

2012

Classificação Científica Indexação

ISI Proceedings

ISI Web of Knowledge - 3 Citações

Scopus - 8 Citações

INSPEC

FOS: Engenharia electrotécnica, electrónica e informática

TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY

De Andrade, FR (Autor) (Outra); Faria, JP (Autor) (FEUP); Paiva, ACR (Autor) (FEUP)

2011

Indexação

ISI Proceedings

ISI Web of Knowledge - 5 Citações

Scopus - 6 Citações

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)

2010

Classificação Científica Indexação Documentos

ISI Web of Knowledge

Scopus - 12 Citações

INSPEC

CORDIS: Engenharia de computadores

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2010

Classificação Científica Indexação Documentos

ISI Web of Knowledge - 1 Citação

Scopus - 2 Citações

INSPEC

CORDIS: Engenharia de computadores

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

Techniques and toolset for conformance testing against UML sequence diagrams

Faria, JP (Autor) (FEUP); Paiva, ACR (Autor) (FEUP); De Castro, MV (Autor) (Outra)

2013

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

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)

2012

Classificação Científica Indexação

ISI Proceedings

ISI Web of Knowledge

Scopus - 6 Citações

CORDIS: Engenharia de computadores

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)

2010

Classificação Científica Indexação Documentos

ISI Web of Knowledge - 1 Citação

ISI Web of Science

Scopus - 30 Citações

INSPEC

FOS: Ciências da computação e da informação

CORDIS: Tecnologia de interface

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

Reverse engineering of graphical user interfaces

Inês Coimbra Morgado (Autor) (FEUP); Ana C. R. Paiva (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)

2011

Classificação Científica Documentos

FOS: Engenharia electrotécnica, electrónica e informática

CORDIS: Tecnologia de interface

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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)

2008

Classificação Científica Indexação Documentos

ISI Proceedings

ISI Web of Knowledge - 13 Citações

Scopus - 18 Citações

INSPEC

FOS: Ciências da computação e da informação

CORDIS: Tecnologia de software

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

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

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

Registos 1 a 20 de 27

 

1

  2