Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets > View related publications
Publication

Publications

Publications with the same authors as the A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets 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)
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)
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 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 17:46:04 | Privacy Policy | Personal Data Protection Policy | Whistleblowing