Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 91



21
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
22
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
23
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
24
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
25
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
26
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
27
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
28
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: 26
IN MY: ORCID | DBLP
29
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
30
TITLE: Automatic Test Case Generation from Usage Information
AUTHORS: Silva, P; Paiva, ACR ; André Restivo ; Garcia, JE ;
PUBLISHED: 2018, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
Página 3 de 10. Total de resultados: 91.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service