Ana Cristina Ramada Paiva


AuthID: R-002-04C

Publicações Confirmadas: 101



31
TÍTULO: Android Testing Crawler
AUTORES: Jorge Ferreira; Ana C R Paiva ;
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
NO MEU: ORCID | DBLP
32
TÍTULO: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTORES: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
33
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
NO MEU: ORCID | DBLP
34
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
35
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
36
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
37
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
38
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
39
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
40
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
Página 4 de 11. Total de resultados: 101.

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

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service