João C. P. Faria

	2010
7		Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva: Test Coverage Analysis of UML State Machines. ICST Workshops 2010: 284-289
6		Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. QUATIC 2010: 268-274
	2007
5		Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes: Reverse Engineered Formal Models for GUI Testing. FMICS 2007: 218-233
4		Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal: Towards the Integration of Visual and Formal Models for GUI Testing. Electr. Notes Theor. Comput. Sci. 190(2): 99-111 (2007)
	2005
3		Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal: Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344
2		Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal: A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM 2005: 450-464
	2003
1		Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal: Specification-Based Testing of User Interfaces. DSV-IS 2003: 139-153

Coauthor Index

1	Ricardo D. F. Ferreira	[6] [7]
2	Pedro M. C. Mendes	[5]
3	Ana C. R. Paiva	[1] [2] [3] [4] [5] [6] [7]
4	Nikolai Tillmann	[2] [3]
5	Raul F. A. M. Vidal	[1] [2] [3] [4]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page