Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



41
TITLE: Testing Android Incoming Calls
AUTHORS: Paiva, ACR ; Gonçalves, MA; Barros, AR;
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: 5
IN MY: ORCID
42
TITLE: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTHORS: Paiva, ACR ; Gouveia, JMEP; Elizabeth, JD; Delamaro, ME;
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: 13
IN MY: ORCID
43
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: 6 Unpaywall
IN MY: ORCID
44
TITLE: A Brief Overview of Existing Tools for Testing the Internet-of-Things
AUTHORS: Dias, JP ; Couto, F; Paiva, ACR ; Ferreira, HS ;
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: 40
IN MY: ORCID
45
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: MODELSWARD (Revised Selected Papers), VOLUME: 991
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
46
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
47
TITLE: End-to-end Automatic Business Process Validation
AUTHORS: Ana C R Paiva ; Nuno H Flores ; João Pascoal Faria ; José M G Marques;
PUBLISHED: 2018, SOURCE: ANT/SEIT, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
48
TITLE: Manage Software Requirements Specification Using Web Analytics Data
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2018, SOURCE: WorldCIST (2), VOLUME: 746
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
49
TITLE: Mobile GUI testing  Full Text
AUTHORS: Morgado, IC; Paiva, ACR ;
PUBLISHED: 2018, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 26, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID
50
TITLE: Pattern based Web Security Testing
AUTHORS: Paulo J M de Araújo; Ana C R Paiva ;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 5 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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