???global.info.a_carregar???
Ana Cristina Ramada Paiva. Publicou 14 artigos em revistas especializadas. Possui 2 capítulo(s) de livros e 7 livro(s). No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Android bugs; Android testing; GUI failures; GUI testing; mobile testing; orientation change; graphical user interfaces; program testing; GMail; PETTool; Web-based application; command line interface; graphical user interface; pattern-based GUI testing tool; semiautomated testing; software application; software testing; test case; Authentication; Graphical user interfaces; Software; Software testing; USA Councils; Unified modeling language; Graphical User Interfaces; patterns; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Ana Cristina Ramada Paiva

Nomes de citação

  • Ana C. R. Paiva

Identificadores de autor

Ciência ID
9B1D-EC15-2455
ORCID iD
0000-0003-3431-8060

Telefones

Telefone
  • 220413318 (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Português (Idioma materno)
Formação
Grau Classificação
2018
Concluído
 Agregação (Título de Agregado)
Especialização em Engenharia Informática
Universidade do Porto Faculdade de Engenharia, Portugal
 Aprovada por unanimidade
2007
Concluído
 Doutoramento em Engenharia Electrotécnica e de Computadores (Doutoramento)
Especialização em Informática
Universidade do Porto Faculdade de Engenharia, Portugal
"Automated Specification-Based Testing of Graphical User Interfaces" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1998
Concluído
 Mestrado em Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
"Aquisição de Informação Tridimensional com Luz Estrutural Codificada " (TESE/DISSERTAÇÃO)
 Muito bom
1995
Concluído
 Licenciatura em Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2014/02/01 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/07/30 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2007/02/14 - 2020/07/29 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2001/09/17 - 2007/02/13 Assistente (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
1999/10/08 - 2001/09/16 Assistente Convidado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
1997/04 - 1999/10 Assistente convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - 2023 Diretora do Mestrado em Engenharia de Software Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
Projetos

Projeto

Designação Financiadores
2019 - 2022 Low Code Platform - BAMoL
POCI-01-0247-FEDER-39661
Investigador
Agência Nacional de Inovação SA
Em curso
2019 - 2022 Safe Cities
POCI-01-0247-FEDER-041435 (Safe Cities)
Investigador
Em curso
2015/12/01 - 2017/07/30 Accelerated Improvement Method Strongstep 2 - AIMS2
POCI-01-0247-FEDER-006405
Investigador
Agência Nacional de Inovação SA
Concluído
2012/04/01 - 2015/04/30 AutoSeer: Oráculos Automáticos para Detecção de Erros em Software
PTDC/EIA-CCO/116796/2010
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012 - 2015 Teste de interfaces gráficas com o utilizador baseado em padrões - PBGT
PTDC/EIA-EIA/119479/2010
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2011 - 2014 Accelerated Improvement Method Support - AIMS
SI IDT - 21562/2011
Investigador
Agência Nacional de Inovação SA
Concluído
2010 - 2012 Empresa pela Fiabillidade em Componentes de Software Genéricas - QUEST
PTDC/EIA-EIA/103103/2008
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2008 - 2011 Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos - AMBER iTest
PTDC/EIA/66767/2006
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2005 - 2008 Um ambiente de análise de usabilidade baseado em modelos - IVY
POSC/EIA/56646/2004
Investigador
Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2022/09/01 - Atual European iNnovation AllianCe for TESting educaTion
101055874-ENACTEST-ERASMUS-EDU-2021-PI-ALL-INNO
Investigador
Em curso
Produções

Publicações

Artigo em conferência
  1. Porfirio Tramontana; Beatriz Marín; Ana C. R. Paiva; Mendes, Alexandra; Tanja E. J. Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino. "State of the Practice in Software Testing Teaching in Four European Countries". Trabalho apresentado em 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, TORONTO, 2024.
    Aceite para publicação
  2. Allan Mori; Ana C. R. Paiva; Simone R.S. Souza. "An Approach to Regression Testing Selection based on Code Changes and Smells". 2023.
    10.1145/3624032.3624036
  3. Felix Cammaerts; Monique Snoeck; Ana C. R. Paiva. "Collecting cognitive strategies applied by students during test case design". 2023.
    10.1145/3593434.3593954
  4. Marín, B; Vos, TEJ; Snoeck, M; Paiva, ACR; Fasolino, AR. "ENACTEST project - European Innovation Alliance for Testing Education". 2023.
  5. Ferreira, AMS; da Silva, AR; Paiva, ACR. "Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs". 2022.
    10.5220/0011082000003176
  6. Marín, B; Vos, TEJ; Paiva, ACR; Fasolino, AR; Snoeck, M. "ENACTEST - European Innovation Alliance for Testing Education". 2022.
  7. Gomes, AC; Paiva, ACR; da Silva, AR. "Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language". 2021.
  8. Garcia, JE; Paiva, ACR; Bizoi, AM. "Test Case Generation From Web Usage Information". 2021.
    10.1016/j.procs.2021.01.247
  9. Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC. "Experiences on Teaching Alloy with an Automated Assessment Platform". 2020.
    10.1007/978-3-030-48077-6_5
  10. Oliveira, A; Freitas, R; Jorge, A; Amorim, V; Moniz, N; Paiva, ACR; Azevedo, PJ. "Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces". 2020.
    10.1007/978-3-030-62365-4_49
  11. João Miranda; Ana C. R. Paiva; Alberto Rodrigues da Silva. "Preliminary Experiences in Requirements-Based Security Testing". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, 2020.
    10.1007/978-3-030-58793-2_33
  12. Marco Gonçalves; Ana C. R. Paiva. "Reverse Engineering of Android Applications: REiMPAcT". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, 2020.
    10.1007/978-3-030-58793-2_30
  13. Maciel, D; Paiva, ACR; Da Silva, AR. "From requirements to automated acceptance tests of interactive apps: An integrated model-based testing approach". 2019.
    10.5220/0007679202650272
  14. Paiva, ACR; Gouveia, JMEP; Elizabeth, JD; Delamaro, ME. "Testing When Mobile Apps Go to Background and Come Back to Foreground". 2019.
    10.1109/icstw.2019.00038
  15. Paiva, ACR; Goncalves, MA; Barros, AR. "Testing Android Incoming Calls". 2019.
    10.1109/icst.2019.00053
  16. Sérgio Almeida; Ana C. R. Paiva; André Restivo. "Mutation-Based Web Test Case Generation". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, 2019.
    10.1007/978-3-030-29238-6_25
  17. Jorge Ferreira; Ana C. R. Paiva. "Android Testing Crawler". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, 2019.
    10.1007/978-3-030-29238-6_23
  18. Paiva, ACR; Maciel, D; da Silva, AR. "From Requirements to Automated Acceptance Tests with the RSL Language". 2019.
    10.1007/978-3-030-40223-5_3
  19. de Araújo, PJM; Paiva, ACR. "Pattern based Web Security Testing". 2018.
  20. da Silva, AR; Paiva, ACR; da Silva, VER. "A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines". 2018.
    10.1007/978-3-030-11030-7_20
  21. Silva, P; Paiva, ACR; Restivo, A; Garcia, JE. "Automatic Test Case Generation from Usage Information". 2018.
    10.1109/quatic.2018.00047
  22. Dias, JP; Couto, F; Paiva, ACR; Ferreira, HS. "A Brief Overview of Existing Tools for Testing the Internet-of-Things". 2018.
    10.1109/icstw.2018.00035
  23. Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG. "End-to-end Automatic Business Process Validation". 2018.
    10.1016/j.procs.2018.04.104
  24. Garcia, JE; Paiva, ACR. "Manage Software Requirements Specification Using Web Analytics Data". 2018.
    10.1007/978-3-319-77712-2_25
  25. da Silva, AR; Paiva, ACR; da Silva, VER. "Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests". Trabalho apresentado em International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2018.
    10.5220/0006608002130224
  26. Dias, F; Paiva, ACR. "Pattern-Based Usability Testing". 2017.
    10.1109/ICSTW.2017.65
  27. Garcia, JE; Paiva, ACR. "Maintaining Requirements using Web Usage Data". 2016.
    10.1016/j.procs.2016.09.204
  28. Morgado, IC; Paiva, ACR. "Impact of execution modes on finding Android failures". 2016.
    10.1016/j.procs.2016.04.127
  29. Paiva, ACR; Flores, NH; Barbosa, AG; Ribeiro, TPB. "iLearnTest - framework for educational games". 2016.
    10.1016/j.sbspro.2016.07.068
  30. Flores, NH; Paiva, ACR; Letra, P. "Software Engineering Management Education through Game Design Patterns". 2016.
    10.1016/j.sbspro.2016.07.067
  31. Garcia, JE; Paiva, ACR. "An Automated Approach for Requirements Specification Maintenance". 2016.
    10.1007/978-3-319-31232-3_78
  32. Moreira, R.M.L.M.; Paiva, A.C.R.. "A novel approach using Alloy in domain-specific language engineering". 2015.
    10.5220/0005228101570164
  33. Ribeiro, T.P.B.; Paiva, A.C.R.. "ILearnTest: Educational game for learning software testing | ILearnTest: Jogo Educativo para Aprendizagem de Teste de Software". 2015.
    10.1109/cisti.2015.7170608
  34. Letra, P; Paiva, ACR; Flores, N. "Game Design Techniques for Software Engineering Management Education". 2015.
    10.1109/cse.2015.42
  35. Morgado, IC; Paiva, ACR. "The iMPAcT Tool: Testing UI Patterns on Mobile Applications". 2015.
    10.1109/ase.2015.96
  36. Morgado, IC; Paiva, ACR. "Testing approach for mobile applications through reverse engineering of UI Patterns". 2015.
    10.1109/asew.2015.11
  37. Morgado, IC; Paiva, ACR. "Test patterns for android mobile applications". 2015.
    10.1145/2855321.2855354
  38. Sacramento, C.; Paiva, A.C.R.. "Web application model generation through reverse engineering and UI pattern inferring". 2014.
    10.1109/QUATIC.2014.20
  39. Costa, P.; Paiva, A.C.R.; Nabuco, M.. "Pattern based GUI testing for mobile applications". 2014.
    10.1109/quatic.2014.16
  40. Moreira, R.M.L.M.; Paiva, A.C.R.. "PBGT tool: An integrated modeling and testing environment for pattern-based GUI testing". 2014.
    10.1145/2642937.2648618
  41. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.. "Automated pattern-based testing of mobile applications". 2014.
    10.1109/quatic.2014.47
  42. Garcia, A.; Paiva, A.C.R.. "SaaS usage information for requirements maintenance". 2014.
    10.5220/0004898403230330
  43. Vilela, L.; Paiva, A.C.R.. "PARADIGM-COV: A multimensional test coverage analysis tool". 2014.
    10.1109/cisti.2014.6876896
  44. Moreira, R.M.L.M.; Paiva, A.C.R.. "A GUI modeling DSL for pattern-based GUI testing PARADIGM". 2014.
    10.5220/0004880601260135
  45. Moreira, RMLM; Paiva, ACR. "Towards a pattern language for model-based GUI testing". 2014.
    10.1145/2721956.2721972
  46. Nabuco, M.; Paiva, A.C.R.. "Model-based test case generation for web applications". Trabalho apresentado em International Conference on Computational Science and Its Applications, 2014.
    10.1007/978-3-319-09153-2_19
  47. Nabuco, M.; Paiva, A.C.R.; Faria, J.P.. "Inferring user interface patterns from execution traces of web applications". Trabalho apresentado em International Conference on Computational Science and Its Applications, 2014.
    10.1007/978-3-319-09156-3_23
  48. Nabuco, M.; Paiva, A.C.R.; Camacho, R.; Faria, J.P.. "Inferring UI patterns with Inductive Logic Programming". Trabalho apresentado em Iberian Conference on Information Systems and Technologies (CISTI), 2013.
  49. Monteiro, T.; Paiva, A.C.R.. "Pattern based GUI testing modeling environment". 2013.
    10.1109/icstw.2013.24
  50. Moreira, R.M.L.M.; Paiva, A.C.R.; Memon, A.. "A pattern-based approach for GUI modeling and testing". 2013.
    10.1109/ISSRE.2013.6698881
  51. Faria, J.P.; Paiva, A.C.R.; De Castro, M.V.. "Techniques and toolset for conformance testing against UML sequence diagrams". Trabalho apresentado em IFIP International Conference Testing Software and Systems (ICTSS), 2013.
    10.1007/978-3-642-41707-8_12
  52. Faria, J.P.; Paiva, A.; Da Silva, A.R.. "Message from conference chairs: QUATIC 2012". 2012.
    10.1109/quatic.2012.2
  53. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.; Camacho, R.. "GUI reverse engineering with machine learning". 2012.
    10.1109/RAISE.2012.6227966
  54. Faria, Joao Pascoal; Paiva, Ana C. R.; Yang, Zhuanli; Faria, JP; Silva, A; Machado, RJ. "Test Generation from UML Sequence Diagrams". Trabalho apresentado em 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012), 2012.
    10.1109/QUATIC.2012.57
  55. Garis, A.; Paiva, A.C.R.; Cunha, A.; Riesco, D.. "Specifying UML protocol state machines in alloy". Trabalho apresentado em 9th International Conference Integrated Formal Methods, 2012.
    10.1007/978-3-642-30729-4_22
  56. Rebello De Andrade, F.; Faria, J.P.; Lopes, A.; Paiva, A.C.R.. "Specification-driven unit test generation for java generic classes". Trabalho apresentado em international conference on Integrated Formal Methods, 2012.
    10.1007/978-3-642-30729-4_21
  57. Barbosa, A.; Paiva, A.C.R.; Campos, J.C.. "Test case generation from mutated task models". 2011.
    10.1145/1996461.1996516
  58. De Andrade, F.R.; Faria, J.P.; Paiva, A.C.R.; Francisco Rebello de Andrade; João Pascoal Faria; Ana C. R. Paiva. "Test generation from bounded algebraic specifications using alloy". Trabalho apresentado em International Conference on Software and Data Technologies (ICSOFT), Seville, 2011.
    Publicado
  59. Moreira, RMLM; Paiva, ACR; Aguiar, A. "Testing Aspect-Oriented Programs". Trabalho apresentado em Iberian Conference on Information Systems and Technologies (CISTI), 2010.
  60. M. Cunha; A. C. R. Paiva; H. S. Ferreira; R. Abreu. "PETTool: A pattern-based GUI testing tool". 2010.
    10.1109/icste.2010.5608882
  61. Ferreira, R.D.F.; Paiva, A.C.R.; Faria, J.P.. "Test coverage analysis of UML state machines". 2010.
    10.1109/ICSTW.2010.60
  62. Grilo, A.M.P.; Paiva, A.C.R.; Faria, J.P.. "Reverse engineering of GUI models for testing". Trabalho apresentado em Iberian Conference on Information Systems and Technologies, 2010.
  63. Ferreira, R.D.F.; Faria, J.P.; Paiva, A.C.R.. "Test coverage analysis of UML activity diagrams for interactive systems". 2010.
    10.1109/quatic.2010.51
  64. Faria, J.P.; Paiva, A.. "Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs". 2010.
    10.1109/quatic.2010.5
  65. Moreira, RMLM; Paiva, ACR. "Visual abstract notation for GUI modelling and testing - VAN4GUIM". Trabalho apresentado em International Conference on Software and Data Technologies (ICSOFT), 2008.
  66. Paiva, A.C.R.; Faria, J.C.P.; Mendes, P.M.C.. "Reverse engineered formal models for GUI testing". Trabalho apresentado em International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2007.
    10.1007/978-3-540-79707-4_16
  67. Paiva, ACR; Tillmann, N; Faria, JCP; Vidal, RFAM. "Modeling and Testing Hierarchical GUIs". Trabalho apresentado em International Workshop on Abstract State Machines, 2005.
  68. Paiva, A.C.R.; Faria, J.C.P.; Tillmann, N.; Vidal, R.A.M.. "A model-to-implementation mapping tool for automated model-based GUI testing". Trabalho apresentado em International Conference on Formal Engineering Methods, 2005.
    10.1007/11576280_31
  69. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. "Automated specification-based testing of interactive components with asmL". Trabalho apresentado em International Conference on the Quality of Information and Communications Technology, 2004.
Artigo em revista
  1. Nuno Macedo; Alcino Cunha; José Pereira; Renato Carvalho; Ricardo Silva; Ana C.R. Paiva; Miguel Sozinho Ramalho; Daniel Silva. "Experiences on teaching alloy with an automated assessment platform". Science of Computer Programming 211 (2021): 102690-102690. https://doi.org/10.1016/j.scico.2021.102690.
    10.1016/j.scico.2021.102690
  2. Ana C. R. Paiva; André Restivo; Sérgio Almeida. "Test case generation based on mutations over user execution traces". Software Quality Journal 28 3 (2020): 1173-1186. https://doi.org/10.1007/s11219-020-09503-4.
    10.1007/s11219-020-09503-4
  3. Nuno Flores; Ana C. R. Paiva; Nuno Cruz. "Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study". Information (2020): https://doi.org/10.3390/info11030153.
    10.3390/info11030153
  4. Júnior, LC; Morimoto, R; Fabbri, S; Paiva, ACR; Rizzo Vincenzi, AM. "Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy". J. Softw. Eng. Res. Dev. (2020):
  5. Morgado, IC; Paiva, ACR. "The iMPAcT tool for android testing". Proceedings of the ACM on Human-Computer Interaction (2019):
  6. Paiva, Ana. "Why does the orientation change mess up my Android application? From GUI failures to code faults". Software Testing, Verification and Reliability (2017): e1654-n/a. http://dx.doi.org/10.1002/stvr.1654.
    10.1002/stvr.1654
  7. Ana C. R. Paiva; Liliana Vilela. "Multidimensional test coverage analysis: PARADIGM-COV tool". Cluster Computing (2017): https://doi.org/10.1007%2Fs10586-017-0728-4.
    10.1007/s10586-017-0728-4
  8. Paiva, Ana. "Mobile GUI testing". Software Quality Journal (2017): https://doi.org/10.1007/s11219-017-9387-1.
    10.1007/s11219-017-9387-1
  9. Moreira, RMLM; Paiva, AC; Nabuco, M; Memon, A. "Pattern-based GUI testing: Bridging the gap between design and quality assurance". SOFTWARE TESTING VERIFICATION & RELIABILITY (2017):
    10.1002/stvr.1629
  10. Garcia, J.E.; Paiva, A.C.R.. "REQAnalytics: A recommender system for requirements maintenance". International Journal of Software Engineering and its Applications 10 1 (2016): 129-140. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957654219&partnerID=MN8TOARS.
    10.14257/ijseia.2016.10.1.13
  11. Garcia, JE; Paiva, ACR. "A Requirements-to-Implementation Mapping Tool for Requirements Traceability". JSW (2016):
    10.17706/jsw.11.2.193-200
  12. Faria, J.P.; Paiva, A.C.R.. "A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets". International Journal on Software Tools for Technology Transfer (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84916919978&partnerID=MN8TOARS.
    10.1007/s10009-014-0354-x
  13. Faria, JP; Paiva, ACR. "Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)". ACM SIGSOFT Software Engineering Notes (2013):
    10.1145/2382756.2382765
  14. Silva, J.L.; Campos, J.C.; Paiva, A.C.R.. "Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees". Electronic Notes in Theoretical Computer Science 208 C (2008): 77-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-41949107842&partnerID=MN8TOARS.
    10.1016/j.entcs.2008.03.108
  15. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. "Towards the Integration of Visual and Formal Models for GUI Testing". Electronic Notes in Theoretical Computer Science 190 2 SPEC. IS (2007): 99-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548129521&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.08.010
  16. Paiva, ACR; Faria, JCP; Vidal, RFAM. "Specification-based testing of user interfaces". INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION (2003):
    10.1007/978-3-540-39929-2_10
Edição de livro
  1. Paiva, ACR; Cavalli, AR; Martins, PV; Castillo, RP, ed. Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings. 2021.
  2. Dobrin, R; Wallin, P; Paiva, ACR; Cohen, MB, ed. WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014. 2014.

Outros

Conjunto de dados
  1. Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20.
    10.5281/zenodo.4665671
Outra produção
  1. How Do Java Mutation Tools Differ?. 2022. Amalfitano, D; Paiva, ACR; Inquel, A; Pinto, L; Fasolino, AR; Just, R.
    10.1145/3526099
  2. Special issue on information systems quality for digital transformation. 2022. Perez Castillo, R; Paiva, ACR; Cavalli, AR.
    10.1007/s11219-022-09608-y
  3. Preface - Conference Proceedings - QUATIC 2021. Editor - Conference proceedings (14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021). 2021. Paiva, ACR; Cavalli, AR; Martins, PV; Pérez Castillo, R.
  4. Sharing and Learning Alloy on the Web. 2019. Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC.
  5. Message from the TESTBEDS 2015 chairs. 2015. Paiva, ACR; Fasolino, AR.
    10.1109/asew.2015.5
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/06 - Atual Study and Definition of an Approach to Support Software Regression Testing Activities using Code Smell Information
Coorientador
 Programa de Pós-Graduação em Ciências de Computação e Matemática Computacional (Doutoramento)
Universidade de São Paulo, Brasil
2019 - 2020 Cost Reduction Technique for Mutation Testing
Coorientador
 Mestrado em Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2020 Requirements Specification to Tests Execution: An Integrated Approach from Acceptance Tests Perspective
Coorientador
 Mestrado em Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2020 Change Impact Analysis Based on Business Process Model
Coorientador
 Mestrado em Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Fault Injection in Android Applications
Orientador
 Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Model Based Testing - From requirements to tests
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Exploração Dinâmica em Android
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Análise de Impacto das Alterações a Processos Descritos em BPMN
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Android Crawler
Orientador
 Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Mining Web Usage to Generate Regression GUI Tests Automatically
Coorientador
 Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019 - 2019 Mutation-based Web Test Case Generation
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2018 - 2019 Automatização de testes para plataformas Oracle - Xstore
Orientador
 Mestrado Integrado em Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2018 - 2018 Android Testing
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2018 - 2018 Pattern Based Usability Testing
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2018 - 2018 Fault injection in Android applications
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Pattern Based Usability Testing
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Pattern Based Security Testing
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Android Testing
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Serious Game to Learn Software Testing
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Injeção de Defeitos em Aplicações Android
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Discovery of Requirements Dependencies through Web Usage Analysis
Orientador
 Engenharia da Informação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Gestão Documental
Orientador
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Gestão Documental na Finantech
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017 - 2017 Model Based Testing - From requirements to tests
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2013 - 2017 Automated Pattern-Based Testing of Mobile Applications
Coorientador
 Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2016 Automatização de Testes em Ambiente Web
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2016 Requirements Maintenance
Orientador
 Engenharia de Serviços e Gestão (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2016 Game DesignTechniques for Software Engineering
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2016 A Comparative Study of GUI Testing Approaches
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2011 - 2016 Requirements change management based on web usage mining
Orientador
 Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2015 Platform for Educational Games Generation
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2015 Game Design Techniques for Software Engineering Management Education
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2015 Elicitação de Requisitos para uma plataforma de ensino de Gestão de Projetos de Software
Coorientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2011 - 2015 Pattern-Based GUI Testing
Coorientador
 Programa Doutoral em Engenharia Informática (Doutoramento)
2014 - 2014 Automated Pattern-Based Testing of Mobile Applications
Coorientador
 Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2014 - 2014 Engenharia reversa de padrões de interação
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2014 - 2014 iLearnTest: Jogo educativo para aprendizagem de testes de software
Orientador
 Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2013 - 2013 A Engenharia de Requisitos no contexto de manutenção de Software as a Service
Orientador
 Engenharia de Serviços e Gestão (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021 - Atual General Co-Chair of ICSE 24 (International Conference on Software Engineering) (2024/04/14 - 2024/04/20)
Conferência (Coorganizador)
2020/09/01 - 2021/10/01 Program Co-Chair of the 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021), Faro, Portugal, 2021 (2021/09/08 - 2021/09/11)
Conferência (Outra)
2019 - 2021 Co-Organizing Chair of the International Conference of Software Testing, Verification and Validation (ICST), Brazil, 2021 (2021/04/12 - 2021/04/16)
Conferência (Coorganizador)
2020/10/19 - 2020/10/23 16th International Summer School on Training And Research On Testing (2020/10/19 - 2020/10/23)
Outro (Outra)
2019/01/01 - 2019/11/01 Organizer committee member of the 3rdWorld Congress on Formal Methods (FM19), Portugal, 2019 (2019/10/07 - 2019/10/11)
Conferência (Membro da Comissão Organizadora)
2015 - 2015 Social Media Chair - 30th IEEE/ACM International Conference on Automated Software Engineering (ASE2015), November 9-13, Lincoln, Nebrasca, USA, 2015 (2015/11/09 - 2015/11/13)
Conferência (Membro da Comissão Organizadora)
2012 - 2012 Program Co-Chair - 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012), Porto, 2012 (2012/09/03 - 2012/09/06)
2010 - 2010 Co-organizing Chair of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), 29 Set - 2 Out, Porto, 2010 (2010/09/29 - 2010/10/02)
Conferência (Coorganizador)

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2019/10/07 - 2019/10/07 Invited Speaker in the 17th Overture Workshop, part of 3rd World Congress on Formal Methods (FM), Porto, October 2019
Oficina (workshop)
 17th Overture Workshop
2014 - 2014 Speaker at the 10th TAROT Summer School on Software Testing, presenting “GUI and Web Testing” - Porto, Portugal, 2014
Outro
 10th TAROT Summer School on Software Testing

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2024/02/06 On overcoming challenges with GUI-based test automation
Arguente
 Michel Nass (Doutoramento)
Blekinge Institute of Technology, Suécia
2021/02/18 Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems
Arguente
 Bruno Miguel Carvalhido Lima (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/01/22 Um Metamodelo para Alinhamento de Padrões de Requisitos e Padrões de Testes e um Framework para Avaliação de Metamodelos
Arguente principal
 Taciana Novo Kudo (Doutoramento)
Universidade Federal de São Carlos, Brasil
2016 EQualPI: a Framework to Evaluate the Quality of the Implementation of the CMMI Practices
Arguente
 Isabel de Jesus Lopes Margarido (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2011 Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models
Arguente
 António Miguel Ribeiro dos Santos Rosado da Cruz (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2010/12/28 GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces
Arguente
 João Carlos Cardoso da Silva (Doutoramento)
Universidade do Minho, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2020 - 2020 IEEE Conference on Software Testing, Validation and Verification Porto
2018 - 2018 IEEE International Conference on Software Testing, Verification and Validation Sweden
2016 - 2016 Automated Software Engineering (ASE) Singapore

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2015 - Atual Artificial Intelligence Review (1573-7462) Springer
2015 - 2021 Software Testing, Verification and Reliability (STVR) (1099-1689) Wiley
2020 - 2020 Journal of Information Systems Engineering & Management (468-2071) IEETA
2019 - 2019 PeerJ Computer Science (23765992) Academic editors
2017 - 2019 Journal of Software: Evolution and Process, (2047-7481) Wiley
2014 - 2019 Software Quality Journal (0963-9314) Springer
2018 - 2018 IEEE Transactions on Reliability (0018-9529) IEEE
2015 - 2015 Journal of Parallel Emergent Distributed Systems (744-5760) Taylor & Francis Online
2015 - 2015 Journal of Systems and Software (0164-1212) Elsevier
2014 - 2014 Empirical Software Engineering (1573-7616) Springer
2014 - 2014 Journal Software Practice and Experience (1097-024X) Wiley

Membro de associação

Nome da associação Tipo de participação
2010 - Atual PSTQB - Associação Portuguesa de Testes de Software Membro da Direção
Distinções

Prémio

2022 Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
2020 Prémio Científico - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
2019 Most Influential Paper - "A pattern-based approach for GUI modeling and testing" presented in ISSRE 2013
2019 Best Paper Award: "Android Testing Crawler" presented in the 12th International Conference on the Quality of Information and Communications Technology
2016 Best paper award: "Software Engineering Management Education through Game Design Patterns", presented in in 2nd International Conference on Higher Education Advances, 2016.
2011 Best paper award: "Reverse Engineering of Graphical User Interfaces" presented in the Sixth International Conference on Software Engineering Advances
2010 Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
2009 Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal

Outra distinção

2014 Two papers of the QUATIC 2014 conference selected among the best ones to be presented in the Main Track
2006 Award to continue and foster the collaboration with Microsoft Research