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
21
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
:
5
IN MY:
ORCID
|
DBLP
22
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
23
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
:
6
IN MY:
ORCID
|
DBLP
24
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
:
2
IN MY:
ORCID
|
DBLP
25
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
26
TITLE:
Testing Android Incoming Calls
AUTHORS:
Ana C R Paiva
;
Marco A Goncalves
;
Andre R Barros
;
PUBLISHED:
2019
,
SOURCE:
12th IEEE International Conference on Software Testing, Verification and Validation (ICST)
in
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
27
TITLE:
Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTHORS:
Ana C R Paiva
;
Joao M E P Gouveia
;
Jean David Elizabeth
; Marcio E Delamaro;
PUBLISHED:
2019
,
SOURCE:
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)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
10
IN MY:
ORCID
|
DBLP
28
TITLE:
The iMPAcT Tool for Android Testing
AUTHORS:
Ines Coimbra Morgado;
Ana C R Paiva
;
PUBLISHED:
2019
,
SOURCE:
Proc. ACM Hum. Comput. Interact.,
VOLUME:
3,
ISSUE:
EICS
INDEXED IN:
Scopus
DBLP
CrossRef
:
4
Unpaywall
IN MY:
ORCID
|
DBLP
29
TITLE:
A Brief Overview of Existing Tools for Testing the Internet-of-Things
AUTHORS:
Joao Pedro Dias
; Flavio Couto;
Ana C R Paiva
;
Hugo Sereno Ferreira
;
PUBLISHED:
2018
,
SOURCE:
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)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
32
IN MY:
ORCID
|
DBLP
30
TITLE:
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines
AUTHORS:
Alberto Rodrigues da Silva
;
Ana C R Paiva
; Valter Emanuel R da Silva;
PUBLISHED:
2018
,
SOURCE:
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
INDEXED IN:
Scopus
DBLP
CrossRef
:
4
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 3 of 10. Total results: 92.
<<
<
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
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service