21
TITLE: Reverse Engineering of Android Applications: REiMPAcT
AUTHORS: Marco A Gonçalves; Ana C R Paiva ;
PUBLISHED: 2020, SOURCE: 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020 in Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, VOLUME: 1266
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
22
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: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8
INDEXED IN: DBLP
IN MY: ORCID | DBLP
24
TITLE: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study  Full Text
AUTHORS: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
25
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
26
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
27
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
28
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
29
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
30
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
Page 3 of 10. Total results: 96.