???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; .
Identification

Personal identification

Full name
Ana Cristina Ramada Paiva

Citation names

  • Ana C. R. Paiva

Author identifiers

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

Telephones

Telephone
  • 220413318 (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Portuguese (Mother tongue)
Education
Degree Classification
2018
Concluded
Agregação (Título de Agregado)
Major in Engenharia Informática
Universidade do Porto Faculdade de Engenharia, Portugal
Aprovada por unanimidade
2007
Concluded
Doutoramento em Engenharia Electrotécnica e de Computadores (Doutoramento)
Major in Informática
Universidade do Porto Faculdade de Engenharia, Portugal
"Automated Specification-Based Testing of Graphical User Interfaces" (THESIS/DISSERTATION)
Aprovado por unanimidade
1998
Concluded
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 " (THESIS/DISSERTATION)
Muito bom
1995
Concluded
Licenciatura em Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
Affiliation

Science

Category
Host institution
Employer
2014/02/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2020/07/30 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2007/02/14 - 2020/07/29 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2001/09/17 - 2007/02/13 Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
1999/10/08 - 2001/09/16 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
1997/04 - 1999/10 Invited Assistant (Polytechnic Teacher) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Positions / Appointments

Category
Host institution
Employer
2016 - 2023 Diretora do Mestrado em Engenharia de Software Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
Projects

Contract

Designation Funders
2019 - 2022 Low Code Platform - BAMoL
POCI-01-0247-FEDER-39661
Researcher
Agência Nacional de Inovação SA
Ongoing
2019 - 2022 Safe Cities
POCI-01-0247-FEDER-041435 (Safe Cities)
Researcher
Ongoing
2015/12/01 - 2017/07/30 Accelerated Improvement Method Strongstep 2 - AIMS2
POCI-01-0247-FEDER-006405
Researcher
Agência Nacional de Inovação SA
Concluded
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
Concluded
2012 - 2015 Teste de interfaces gráficas com o utilizador baseado em padrões - PBGT
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2011 - 2014 Accelerated Improvement Method Support - AIMS
SI IDT - 21562/2011
Researcher
Agência Nacional de Inovação SA
Concluded
2010 - 2012 Empresa pela Fiabillidade em Componentes de Software Genéricas - QUEST
PTDC/EIA-EIA/103103/2008
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2008 - 2011 Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos - AMBER iTest
PTDC/EIA/66767/2006
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2005 - 2008 Um ambiente de análise de usabilidade baseado em modelos - IVY
POSC/EIA/56646/2004
Researcher
Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2022/09/01 - Current European iNnovation AllianCe for TESting educaTion
Researcher
Ongoing
Outputs

Publications

Conference paper
  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". Paper presented in 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, TORONTO, 2024.
    Accepted
  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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in International Conference on Software and Data Technologies (ICSOFT), Seville, 2011.
    Published
  59. Moreira, RMLM; Paiva, ACR; Aguiar, A. "Testing Aspect-Oriented Programs". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in International Conference on the Quality of Information and Communications Technology, 2004.
Edited book
  1. Paiva, ACR; Cavalli, AR; Martins, PV; Castillo, RP. 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. WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014. 2014.
Journal article
  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

Other

Dataset
  1. Nuno Macedo; Alcino Cunha; Ana C. R. Paiva. Alloy4Fun Dataset for 2019/20.
    10.5281/zenodo.4665671
Other output
  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
Activities

Supervision

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

Event organisation

Event name
Type of event (Role)
Institution / Organization
2021 - Current General Co-Chair of ICSE 24 (International Conference on Software Engineering) (2024/04/14 - 2024/04/20)
Conference (Co-organisor)
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)
Conference (Other)
2019 - 2021 Co-Organizing Chair of the International Conference of Software Testing, Verification and Validation (ICST), Brazil, 2021 (2021/04/12 - 2021/04/16)
Conference (Co-organisor)
2020/10/19 - 2020/10/23 16th International Summer School on Training And Research On Testing (2020/10/19 - 2020/10/23)
Other (Other)
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)
Conference (Member of the Organising Committee)
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)
Conference (Member of the Organising Committee)
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)
Conference (Co-organisor)

Event participation

Activity description
Type of event
Event name
Institution / Organization
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
Workshop
17th Overture Workshop
2014 - 2014 Speaker at the 10th TAROT Summer School on Software Testing, presenting “GUI and Web Testing” - Porto, Portugal, 2014
Other
10th TAROT Summer School on Software Testing

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2024/02/06 On overcoming challenges with GUI-based test automation
(Thesis) Arguer
Michel Nass (PhD)
Blekinge Institute of Technology, Sweden
2021/02/18 Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems
(Thesis) Arguer
Bruno Miguel Carvalhido Lima (PhD)
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
(Thesis) Main arguer
Taciana Novo Kudo (PhD)
Universidade Federal de São Carlos, Brazil
2016 EQualPI: a Framework to Evaluate the Quality of the Implementation of the CMMI Practices
(Thesis) Arguer
Isabel de Jesus Lopes Margarido (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2011 Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models
(Thesis) Arguer
António Miguel Ribeiro dos Santos Rosado da Cruz (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2010/12/28 GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces
(Thesis) Arguer
João Carlos Cardoso da Silva (PhD)
Universidade do Minho, Portugal

Association member

Society Organization name Role
2010 - Current PSTQB - Associação Portuguesa de Testes de Software Membro da Direção

Conference scientific committee

Conference name Conference host
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

Journal scientific committee

Journal title (ISSN) Publisher
2015 - Current 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
Distinctions

Award

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

Other distinction

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