Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012) > View related publications
Publication

Publications

Publications with the same authors as the Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012) publication

Group by: Order:

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

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)
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)
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)
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)
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)

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)
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)

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)
TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
De Andrade, FR (Author) (Other); Faria, JP (Author) (FEUP); Paiva, ACR (Author) (FEUP)
2011
Indexing
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)
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)
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
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)
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)
Reverse engineering of graphical user interfaces
Inês Coimbra Morgado (Author) (FEUP); Ana C. R. Paiva (Author) (FEUP); João Pascoal Faria (Author) (FEUP)
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)
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

Records 1 to 20 from 27

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-10 at 00:35:00 | Privacy Policy | Personal Data Protection Policy | Whistleblowing