Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Ana Cristina Ramada Paiva
AuthID:
R-002-04C
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (66)
Article (17)
Editorial Material (5)
Proceedings (2)
Unpublished (1)
Review (1)
Year Start - End:
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 92
81
TITLE:
Reverse Engineering of GUI Models for Testing
AUTHORS:
Andre M P Grilo
;
Ana C R Paiva
;
Joao Pascoal Faria
;
PUBLISHED:
2010
,
SOURCE:
5th Iberian Conference on Information Systems and Technologies
in
SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXED IN:
Scopus
WOS
IN MY:
ORCID
|
ResearcherID
82
TITLE:
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS:
Ricardo D F Ferreira;
Joao P Faria
;
Ana C R Paiva
;
PUBLISHED:
2010
,
SOURCE:
7th International Conference on the Quality of Information and Communications Technology (QUATIC)
in
QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
83
TITLE:
Test coverage analysis of UML state machines
AUTHORS:
Ferreira, RDF;
Paiva, ACR
;
Faria, JP
;
PUBLISHED:
2010
,
SOURCE:
3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
in
ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
INDEXED IN:
Scopus
DBLP
CrossRef
:
11
IN MY:
ORCID
|
DBLP
84
TITLE:
Testing Aspect-Oriented Programs
AUTHORS:
Moreira, RMLM;
Paiva, ACR
;
Aguiar, A
;
PUBLISHED:
2010
,
SOURCE:
5th Iberian Conference on Information Systems and Technologies
in
SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXED IN:
Scopus
WOS
Handle
IN MY:
ORCID
85
TITLE:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS:
José Luís Silva
;
José Creissac Campos
;
Ana C R Paiva
;
PUBLISHED:
2008
,
SOURCE:
Electr. Notes Theor. Comput. Sci.,
VOLUME:
208,
ISSUE:
C
INDEXED IN:
Scopus
DBLP
CrossRef
Handle
IN MY:
ORCID
|
DBLP
86
TITLE:
Reverse engineered formal models for GUI testing
Full Text
AUTHORS:
Ana C R Paiva
;
Joao C P Faria
; Pedro M C Mendes;
PUBLISHED:
2008
,
SOURCE:
12th International Workshop on Formal Methods for Industrial Critical Systems
in
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS,
VOLUME:
4916
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
8
IN MY:
ORCID
|
ResearcherID
|
DBLP
87
TITLE:
Visual abstract notation for GUI modelling and testing - VAN4GUIM
AUTHORS:
Rodrigo M L M Moreira
;
Ana C R Paiva
;
PUBLISHED:
2008
,
SOURCE:
3rd International Conference on Software and Data Technologies
in
ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE,
VOLUME:
SE,
ISSUE:
GSDCA/M/-
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
ORCID
|
ResearcherID
|
DBLP
88
TITLE:
Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS:
Ana C R Paiva
;
João C P Faria
;
Raul F A M Vidal
;
PUBLISHED:
2007
,
SOURCE:
Electr. Notes Theor. Comput. Sci.,
VOLUME:
190,
ISSUE:
2
INDEXED IN:
Scopus
DBLP
CrossRef
Handle
IN MY:
ORCID
|
DBLP
89
TITLE:
A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS:
Paiva, ACR
;
Faria, JCP
; Tillmann, N;
Vidal, RAM
;
PUBLISHED:
2005
,
SOURCE:
7th International Conference on Formal Methods and Software Engineering
in
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS,
VOLUME:
3785
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
Handle
IN MY:
ORCID
|
DBLP
90
TITLE:
Modeling and Testing Hierarchical GUIs
AUTHORS:
Ana C R Paiva
; Nikolai Tillmann;
João C P Faria
;
Raul F A M Vidal
;
PUBLISHED:
2005
,
SOURCE:
Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 9 of 10. Total results: 92.
<<
<
2
3
4
5
6
7
8
9
10
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service