Publications with the same authors as the Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs publication

Group by: Tipo Ano Order: Title Year Type of publication

Another Publication in an International Scientific Journal

Message from conference chairs: QUATIC 2012

Faria, JP (Author) (FEUP); Paiva, A (Author) (FEUP); Da Silva, AR (Author) (Other); Da Silva, AR (Author) (Other)

2012

Indexing

ISI Web of Knowledge

Scopus

Article in International Scientific Journal

Towards the integration of visual and formal models for GUI testing

Ana C. R. Paiva (Author) (FEUP); João C. P. Faria (Author) (FEUP); Raul F. A. M. Vidal (Author) (Other)

2007

Scientific classification Indexing Documents

ISI Web of Knowledge

Scopus - 17 Citations

CORDIS: Software technology

We could not find any documents associated to the publication with allowed access.

Specification-based testing of user interfaces

Ana C. R. Paiva (Author) (FEUP); João C. P. Faria (Author) (FEUP); Raul F. A. M. Vidal (Author) (Other)

2003

Scientific classification Indexing Documents

ISI Proceedings

ISI Web of Knowledge - 6 Citations

ISI Web of Science

Scopus - 10 Citations

INSPEC

FOS: Computer and information sciences

CORDIS: Software technology

We could not find any documents associated to the publication with allowed access.

Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)

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

2013

Scientific classification Indexing Documents

ISI Web of Knowledge

FOS: Electrical engineering, Electronic engineering, Information engineering

We could not find any documents associated to the publication with allowed access.

Dynamic Reverse Engineering of Graphical User Interfaces

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

2012

Scientific classification

FOS: Electrical engineering, Electronic engineering, Information engineering

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

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

2016

Scientific classification Indexing Documents

ISI Web of Knowledge - 6 Citations

Scopus - 10 Citations

INSPEC

CORDIS: Information technology

We could not find any documents associated to the publication with allowed access.

A model-to-implementation mapping tool for automated model-based GUI testing

Ana C. R. Paiva (Author) (FEUP); João C. P. Faria (Author) (FEUP); Nikolai Tillmann (Author) (Other); Raul A. M. Vidal (Author) (Other)

2005

Scientific classification Indexing Documents

ISI Proceedings

ISI Web of Knowledge - 29 Citations

Scopus - 51 Citations

INSPEC

FOS: Computer and information sciences

CORDIS: Computer engineering

We could not find any documents associated to the publication with allowed access.

Article in International Conference Proceedings Book

Reverse engineering of GUI models

André Marcelo Pinto Grilo (Author) (FEUP); Ana Cristina Ramada Paiva (Author) (FEUP); João Carlos Pascoal de Faria (Author) (FEUP)

2009

Scientific classification

FOS: Electrical engineering, Electronic engineering, Information engineering

CORDIS: Interface technology

Métodos Formais na Especificação de Interfaces com o Utilizado: a Linguagem VDM++ e o Tratamento de Eventos

Ana Cristina Paiva Pimenta (Author) (FEUP); João Carlos Pascoal de Faria (Author) (FEUP); Raul Moreira Vidal (Author) (FEUP); José Nuno Oliveira (Author) (Other)

2002

Geração de Testes a partir de Especificações Algébricas de Tipos Genéricos usando Alloy

Francisco R. de Andrade (Author) (FEUP); João P. Faria (Author) (FEUP); Ana C. R. Paiva (Author) (FEUP); Antónia Lopes (Author) (Other)

2011

Scientific classification

FOS: Electrical engineering, Electronic engineering, Information engineering

Article in International Conference Proceedings Book

Test Generation from UML Sequence Diagrams

Joao Pascoal Faria (Author) (FEUP); Ana C R Paiva (Author) (FEUP); Zhuanli L Yang (Author) (Other)

2012

Scientific classification Indexing

ISI Proceedings

ISI Web of Knowledge - 3 Citations

Scopus - 8 Citations

INSPEC

FOS: Electrical engineering, Electronic engineering, Information engineering

TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY

De Andrade, FR (Author) (Other); Faria, JP (Author) (FEUP); Paiva, ACR (Author) (FEUP)

2011

Indexing

ISI Proceedings

ISI Web of Knowledge - 5 Citations

Scopus - 6 Citations

Test coverage analysis of UML state machines

Ricardo D. F. Ferreira (Author) (Other); Ana C. R. Paiva (Author) (FEUP); João P. Faria (Author) (FEUP)

2010

Scientific classification Indexing Documents

ISI Web of Knowledge

Scopus - 12 Citations

INSPEC

CORDIS: Computer engineering

We could not find any documents associated to the publication with allowed access.

Test coverage analysis of UML activity diagrams for interactive systems

Ricardo D. F. Ferreira (Author) (Other); João P. Faria (Author) (FEUP); Ana C. R. Paiva (Author) (FEUP)

2010

Scientific classification Indexing Documents

ISI Web of Knowledge - 1 Citation

Scopus - 2 Citations

INSPEC

CORDIS: Computer engineering

We could not find any documents associated to the publication with allowed access.

Techniques and toolset for conformance testing against UML sequence diagrams

Faria, JP (Author) (FEUP); Paiva, ACR (Author) (FEUP); De Castro, MV (Author) (Other)

2013

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Specification-driven unit test generation for java generic classes

Rebello De Andrade, F (Author) (Other); Faria, JP (Author) (FEUP); Lopes, A (Author) (Other); Paiva, ACR (Author) (FEUP)

2012

Scientific classification Indexing

ISI Proceedings

ISI Web of Knowledge

Scopus - 6 Citations

CORDIS: Computer engineering

Reverse engineering of GUI models for testing

André M. P. Grilo (Author) (Other); Ana C. R. Paiva (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2010

Scientific classification Indexing Documents

ISI Web of Knowledge - 1 Citation

ISI Web of Science

Scopus - 30 Citations

INSPEC

FOS: Computer and information sciences

CORDIS: Interface technology

We could not find any documents associated to the publication with allowed access.

Reverse engineering of graphical user interfaces

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

2011

Scientific classification Documents

FOS: Electrical engineering, Electronic engineering, Information engineering

CORDIS: Interface technology

We could not find any documents associated to the publication with allowed access.

Reverse engineered formal models for GUI testing

Ana C. R. Paiva (Author) (FEUP); Joao C. P. Faria (Author) (FEUP); Pedro M. C. Mendes (Author) (Other)

2008

Scientific classification Indexing Documents

ISI Proceedings

ISI Web of Knowledge - 13 Citations

Scopus - 18 Citations

INSPEC

FOS: Computer and information sciences

CORDIS: Software technology

We could not find any documents associated to the publication with allowed access.

Modeling and Testing Hierarchical GUIs

Ana C. R. Paiva (Author) (FEUP); Nikolai Tillmann (Author) (Other); João C. P. Faria (Author) (FEUP); Raul F. A. M. Vidal (Author) (FEUP)

2005

Documents

We could not find any documents associated to the publication with allowed access.

Records 1 to 20 from 27

 

1

  2