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 (72)
Article (22)
Editorial Material (6)
Proceedings (2)
Data Paper (2)
Unpublished (1)
Review (1)
Book Chapter (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:
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: 107
31
TITLE:
Preliminary Experiences in Requirements-Based Security Testing
AUTHORS:
João Miranda;
Ana C R Paiva
;
Alberto Rodrigues da Silva
;
PUBLISHED:
2020
,
SOURCE:
13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020
in
Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings,
VOLUME:
1266
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
32
TITLE:
Reverse Engineering of Android Applications: REiMPAcT
AUTHORS:
Marco A Gonçalves
;
Ana C R Paiva
;
PUBLISHED:
2020
,
SOURCE:
13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020
in
Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings,
VOLUME:
1266
INDEXED IN:
Scopus
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
33
TITLE:
Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTHORS:
Alberto Oliveira; Ricardo Freitas;
Alípio Jorge
;
Vítor Amorim
;
Nuno Moniz
;
Ana C R Paiva
;
Paulo J Azevedo
;
PUBLISHED:
2020
,
SOURCE:
21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020
in
Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II,
VOLUME:
12490
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
34
TITLE:
Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS:
Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri;
Ana C R Paiva
;
VINCENZI, AURI M. R.
;
PUBLISHED:
2020
,
SOURCE:
J. Softw. Eng. Res. Dev.,
VOLUME:
8
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
35
TITLE:
Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study
Full Text
AUTHORS:
Nuno Flores
;
Ana C R Paiva
; Nuno Cruz;
PUBLISHED:
2020
,
SOURCE:
INFORMATION,
VOLUME:
11,
ISSUE:
3
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
18
IN MY:
ORCID
|
DBLP
36
TITLE:
Test case generation based on mutations over user execution traces
Full Text
AUTHORS:
Ana C R Paiva
;
André Restivo
;
Sergio Almeida
;
PUBLISHED:
2020
,
SOURCE:
SOFTWARE QUALITY JOURNAL,
VOLUME:
28,
ISSUE:
3
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
12
IN MY:
ORCID
|
DBLP
37
TITLE:
Android Testing Crawler
AUTHORS:
Jorge Ferreira
;
Ana C R Paiva
;
PUBLISHED:
2019
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
CrossRef
:
3
IN MY:
ORCID
|
DBLP
38
TITLE:
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS:
Daniel Maciel;
Ana C R Paiva
;
Alberto Rodrigues da Silva
;
PUBLISHED:
2019
,
SOURCE:
14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
in
PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
8
IN MY:
ORCID
|
DBLP
39
TITLE:
Mutation-Based Web Test Case Generation
AUTHORS:
Sérgio Almeida;
Ana C R Paiva
;
André Restivo
;
PUBLISHED:
2019
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
CrossRef
:
4
Unpaywall
IN MY:
ORCID
|
DBLP
40
TITLE:
Sharing and Learning Alloy on the Web
PDF
AUTHORS:
Nuno Macedo
;
Alcino Cunha
;
José Pereira
; Renato Carvalho; Ricardo Silva;
Ana C R Paiva
; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED:
2019
,
SOURCE:
CoRR,
VOLUME:
abs/1907.02275
INDEXED IN:
DBLP
arXiv
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 4 of 11. Total results: 107.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
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
2 records from
DataCite
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service