ProfileOfResearchers

TITLE: Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
AUTHORS: Ana C R Paiva ; Ana Rosa Cavalli; Paula Ventura Martins; Ricardo Pérez Castillo;
PUBLISHED: 2021, SOURCE: QUATIC, VOLUME: 1439

INDEXED IN:

DBLP

IN MY:

ORCID |

DBLP

TITLE: Test Case Generation From Web Usage Information
AUTHORS: Garcia, JE ; Paiva, ACR ; Bizoi, AM;
PUBLISHED: 2021, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020), VOLUME: 181

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID |

DBLP

TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071

INDEXED IN:

Scopus

DBLP

CrossRef: 4

IN MY:

ORCID |

DBLP

TITLE: From Requirements to Automated Acceptance Tests with the RSL Language
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 4

IN MY:

ORCID |

DBLP

TITLE: Preliminary Experiences in Requirements-Based Security Testing
AUTHORS: João Miranda; Ana C R Paiva ; Alberto Rodrigues da Silva;
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

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

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

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