Ana Cristina Ramada Paiva


AuthID: R-002-04C

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: QUATIC, VOLUME: 1266 CCIS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
32
TITLE: Reverse Engineering of Android Applications: REiMPAcT
AUTHORS: Marco A Gonçalves; Ana C R Paiva ;
PUBLISHED: 2020, SOURCE: QUATIC, VOLUME: 1266 CCIS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
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: IDEAL (2), VOLUME: 12490 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
34
TITLE: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra C P F Fabbri; Ana C R Paiva ; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8
INDEXED IN: DBLP CrossRef
IN MY: ORCID
35
TITLE: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study  Full Text
AUTHORS: Flores, N ; Paiva, ACR ; Cruz, N;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
36
TITLE: Test case generation based on mutations over user execution traces  Full Text
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
37
TITLE: Android Testing Crawler
AUTHORS: Jorge Ferreira; Ana C R Paiva ;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
38
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Maciel, D; Paiva, ACR ; da Silva, AR ;
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: 13
IN MY: ORCID
39
TITLE: Mutation-Based Web Test Case Generation
AUTHORS: Sérgio Almeida; Ana C R Paiva ; André Restivo ;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010
INDEXED IN: Scopus DBLP CrossRef: 4 Unpaywall
IN MY: ORCID
40
TITLE: Sharing and Learning Alloy on the Web
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
IN MY: ORCID
Page 4 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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