Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Ana Cristina Ramada Paiva
AuthID:
R-002-04C
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (70)
Article (19)
Editorial Material (6)
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
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 99
31
TÃTULO:
Mutation-Based Web Test Case Generation
AUTORES:
Sérgio Almeida;
Ana C R Paiva
;
André Restivo
;
PUBLICAÇÃO:
2019
,
FONTE:
12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019
in
Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings,
VOLUME:
1010
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
Unpaywall
32
TÃTULO:
Sharing and Learning Alloy on the Web
PDF
AUTORES:
Nuno Macedo
;
Alcino Cunha
;
José Pereira
; Renato Carvalho; Ricardo Silva;
Ana C R Paiva
; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO:
2019
,
FONTE:
CoRR,
VOLUME:
abs/1907.02275
INDEXADO EM:
DBLP
arXiv
NO MEU:
ORCID
|
DBLP
33
TÃTULO:
Testing Android Incoming Calls
AUTORES:
Ana C R Paiva
;
Marco A Goncalves
;
Andre R Barros
;
PUBLICAÇÃO:
2019
,
FONTE:
12th IEEE International Conference on Software Testing, Verification and Validation (ICST)
in
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
34
TÃTULO:
Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTORES:
Ana C R Paiva
;
Joao M E P Gouveia
;
Jean David Elizabeth
; Marcio E Delamaro;
PUBLICAÇÃO:
2019
,
FONTE:
12th IEEE International Conference on Software Testing, Verification and Validation (ICST)
in
2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
10
NO MEU:
ORCID
|
DBLP
35
TÃTULO:
The iMPAcT Tool for Android Testing
AUTORES:
Ines Coimbra Morgado;
Ana C R Paiva
;
PUBLICAÇÃO:
2019
,
FONTE:
Proc. ACM Hum. Comput. Interact.,
VOLUME:
3,
NÚMERO:
EICS
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
Unpaywall
NO MEU:
ORCID
|
DBLP
36
TÃTULO:
A Brief Overview of Existing Tools for Testing the Internet-of-Things
AUTORES:
Joao Pedro Dias
; Flavio Couto;
Ana C R Paiva
;
Hugo Sereno Ferreira
;
PUBLICAÇÃO:
2018
,
FONTE:
11th IEEE International Conference on Software Testing, Verification and Validation (ICST)
in
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
32
NO MEU:
ORCID
|
DBLP
37
TÃTULO:
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines
AUTORES:
Alberto Rodrigues da Silva
;
Ana C R Paiva
; Valter Emanuel R da Silva;
PUBLICAÇÃO:
2018
,
FONTE:
6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018
in
Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers,
VOLUME:
991
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
NO MEU:
ORCID
|
DBLP
38
TÃTULO:
Automatic Test Case Generation from Usage Information
AUTORES:
Silva, P;
Paiva, ACR
;
André Restivo
;
Garcia, JE
;
PUBLICAÇÃO:
2018
,
FONTE:
11th International Conference on the Quality of Information and Communications Technology (QUATIC)
in
2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
39
TÃTULO:
End-to-end Automatic Business Process Validation
AUTORES:
Ana C R Paiva
;
Nuno H Flores
;
João Pascoal Faria
; José M G Marques;
PUBLICAÇÃO:
2018
,
FONTE:
9th International Conference on Ambient Systems, Networks and Technologies, ANT 2018
in
The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT 2018) / Affiliated Workshops, May 8-11, 2018, Porto, Portugal,
VOLUME:
130
INDEXADO EM:
Scopus
DBLP
CrossRef
:
6
NO MEU:
ORCID
|
DBLP
40
TÃTULO:
Manage Software Requirements Specification Using Web Analytics Data
AUTORES:
Jorge Esparteiro Garcia
;
Ana C R Paiva
;
PUBLICAÇÃO:
2018
,
FONTE:
6th World Conference on Information Systems and Technologies, WorldCIST 2018
in
Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018],
VOLUME:
746
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 4 de 10. Total de resultados: 99.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service