Ana C. R. Paiva

90 papers A* 2A 6B 5C 7Misc 15Journal 21Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Teachers' Perspective on Software Testing Education. ACM Trans. Comput. Educ. Anna Rita Fasolino, Beatriz Marín, Tanja E. J. Vos, Alexandra Mendes, Ana C. R. Paiva, Felix Cammaerts, Monique Snoeck, Mehrdad Saadatmand, Porfirio Tramontana
2025	J	`jnl`	Code change and smell techniques for regression test selection. Softw. Qual. J. Allan Mori, Ana C. R. Paiva, Simone R. S. Souza
2025	—	`conf`	Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API's. SBES Pedro Henrique Kuroishi, Ana C. R. Paiva, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi
2025	—	`conf`	Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education. SIGSOFT FSE Companion Hannah Potter, Ana C. R. Paiva, Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, René Just
2025	J	`jnl`	GAMFLEW: serious game to teach white-box testing. Softw. Qual. J. Mateus Silva, Ana C. R. Paiva, Alexandra Mendes
2025	J	`jnl`	METFORD - Mutation tEsTing Framework fOR anDroid. CoRR Auri M. R. Vincenzi, Pedro Henrique Kuroishi, João C. M. Bispo, Ana R. C. da Veiga, David R. C. da Mata, Francisco B. Azevedo, Ana C. R. Paiva
2025	J	`jnl`	METFORD - Mutation tEsTing Framework fOR anDroid. J. Syst. Softw. Auri M. R. Vincenzi, Pedro Henrique Kuroishi, João C. M. Bispo, Ana R. C. da Veiga, David R. C. da Mata, Francisco B. Azevedo, Ana C. R. Paiva
2025	—	`conf`	Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. PROFES (Workshop) Mehrdad Saadatmand, Abbas Khan, Beatriz Marín, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes
2025	J	`jnl`	Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. CoRR Mehrdad Saadatmand, Abbas Khan, Beatriz Marín, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes
2024	—	`conf`	Alloy Repair Hint Generation Based on Historical Data. FM (2) Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva
2024	A	`conf`	Exploring students' opinion on software testing courses. EASE Felix Cammaerts, Porfirio Tramontana, Ana C. R. Paiva, Nuno Flores, Fernando Pastor Ricós, Monique Snoeck
2024	A	`conf`	FRAFOL: FRAmework FOr Learning mutation testing. ISSTA Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just
2024	A	`conf`	State of the Practice in Software Testing Teaching in Four European Countries. ICST Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino
2023	—	`conf`	An Approach to Regression Testing Selection based on Code Changes and Smells. SAST Allan Mori, Ana C. R. Paiva, Simone R. S. Souza
2023	A	`conf`	Collecting cognitive strategies applied by students during test case design. EASE Felix Cammaerts, Monique Snoeck, Ana C. R. Paiva
2023	—	`conf`	ENACTEST project - European Innovation Alliance for Testing Education. CAiSE Research Projects Exhibition Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino
2022	—	`conf`	ENACTEST - European Innovation Alliance for Testing Education. RCIS Workshops Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck
2022	J	`jnl`	How do Java mutation tools differ? Commun. ACM Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just
2022	J	`jnl`	Special issue on information systems quality for digital transformation. Softw. Qual. J. Ricardo Pérez-Castillo, Ana C. R. Paiva, Ana Rosa Cavalli
2022	B	`conf`	Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs. ENASE António M. S. Ferreira, Alberto Rodrigues da Silva, Ana C. R. Paiva
2021	J	`jnl`	Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
2021	—	`conf`	Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. ISD Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva
2021	Misc	`ed.`	Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings QUATIC Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo
2020	C	`conf`	Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
2020	Misc	`conf`	Preliminary Experiences in Requirements-Based Security Testing. QUATIC João Miranda, Ana C. R. Paiva, Alberto Rodrigues da Silva
2020	Misc	`conf`	Reverse Engineering of Android Applications: REiMPAcT. QUATIC Marco A. Gonçalves, Ana C. R. Paiva
2020	—	`conf`	Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces. IDEAL (2) Alberto Oliveira, Ricardo Freitas, Alípio Jorge, Vítor Amorim, Nuno Moniz, Ana C. R. Paiva, Paulo J. Azevedo
2020	J	`jnl`	Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy. J. Softw. Eng. Res. Dev. Luiz Cavamura Júnior, Ricardo Morimoto, Sandra C. P. F. Fabbri, Ana C. R. Paiva, Auri Marcelo Rizzo Vincenzi
2020	J	`jnl`	Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study. Inf. Nuno Flores, Ana C. R. Paiva, Nuno Cruz
2020	—	`conf`	Test Case Generation From Web Usage Information. CENTERIS/ProjMAN/HCist Jorge Esparteiro Garcia, Ana C. R. Paiva, Anca-Maria Bizoi
2020	J	`jnl`	Test case generation based on mutations over user execution traces. Softw. Qual. J. Ana C. R. Paiva, André Restivo, Sérgio Almeida
2019	Misc	`conf`	Android Testing Crawler. QUATIC Jorge Ferreira, Ana C. R. Paiva
2019	B	`conf`	From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach. ENASE Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva
2019	—	`conf`	From Requirements to Automated Acceptance Tests with the RSL Language. ENASE (Selected Papers) Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva
2019	Misc	`conf`	Mutation-Based Web Test Case Generation. QUATIC Sérgio Almeida, Ana C. R. Paiva, André Restivo
2019	J	`jnl`	Sharing and Learning Alloy on the Web. CoRR Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
2019	A	`conf`	Testing Android Incoming Calls. ICST Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros
2019	—	`conf`	Testing When Mobile Apps Go to Background and Come Back to Foreground. ICST Workshops Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro
2019	J	`jnl`	The iMPAcT Tool for Android Testing. Proc. ACM Hum. Comput. Interact. Ines Coimbra Morgado, Ana C. R. Paiva
2018	—	`conf`	A Brief Overview of Existing Tools for Testing the Internet-of-Things. ICST Workshops João Pedro Dias, Flavio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira
2018	—	`conf`	A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. MODELSWARD (Revised Selected Papers) Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva
2018	Misc	`conf`	Automatic Test Case Generation from Usage Information. QUATIC Pedro Silva, Ana C. R. Paiva, André Restivo, Jorge Esparteiro Garcia
2018	—	`conf`	End-to-end Automatic Business Process Validation. ANT/SEIT Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques
2018	—	`conf`	Manage Software Requirements Specification Using Web Analytics Data. WorldCIST (2) Jorge Esparteiro Garcia, Ana C. R. Paiva
2018	J	`jnl`	Mobile GUI testing. Softw. Qual. J. Ines Coimbra Morgado, Ana C. R. Paiva
2018	C	`conf`	Pattern based Web Security Testing. MODELSWARD Paulo J. M. de Araújo, Ana C. R. Paiva
2018	C	`conf`	Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests. MODELSWARD Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva
2018	J	`jnl`	Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test. Verification Reliab. Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, Anna Rita Fasolino
2017	J	`jnl`	Multidimensional test coverage analysis: PARADIGM-COV tool. Clust. Comput. Ana C. R. Paiva, Liliana Vilela
2017	—	`conf`	Pattern-Based Usability Testing. ICST Workshops Fernando Dias, Ana C. R. Paiva
2017	J	`jnl`	Pattern-based GUI testing: Bridging the gap between design and quality assurance. Softw. Test. Verification Reliab. Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon
2016	J	`jnl`	A Requirements-to-Implementation Mapping Tool for Requirements Traceability. J. Softw. Jorge Esparteiro Garcia, Ana C. R. Paiva
2016	J	`jnl`	A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. João Pascoal Faria, Ana C. R. Paiva
2016	—	`conf`	An Automated Approach for Requirements Specification Maintenance. WorldCIST (1) Jorge Esparteiro Garcia, Ana C. R. Paiva
2016	—	`conf`	Impact of Execution Modes on Finding Android Failures. ANT/SEIT Ines Coimbra Morgado, Ana C. R. Paiva
2016	—	`conf`	Maintaining Requirements Using Web Usage Data. CENTERIS/ProjMAN/HCist Jorge Esparteiro Garcia, Ana C. R. Paiva
2015	C	`conf`	A Novel Approach using Alloy in Domain-specific Language Engineering. MODELSWARD Rodrigo M. L. M. Moreira, Ana C. R. Paiva
2015	Misc	`conf`	Test patterns for android mobile applications. EuroPLoP Ines Coimbra Morgado, Ana C. R. Paiva
2015	—	`conf`	Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns. ASE Workshops Ines Coimbra Morgado, Ana C. R. Paiva
2015	A*	`conf`	The iMPAcT Tool: Testing UI Patterns on Mobile Applications. ASE Ines Coimbra Morgado, Ana C. R. Paiva
2014	B	`conf`	A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM. ENASE Rodrigo M. L. M. Moreira, Ana C. R. Paiva
2014	Misc	`conf`	Automated Pattern-Based Testing of Mobile Applications. QUATIC Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria
2014	—	`conf`	Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria
2014	—	`conf`	Model-Based Test Case Generation for Web Applications. ICCSA (6) Miguel Nabuco, Ana C. R. Paiva
2014	A*	`conf`	PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. ASE Rodrigo M. L. M. Moreira, Ana C. R. Paiva
2014	Misc	`conf`	Pattern Based GUI Testing for Mobile Applications. QUATIC Pedro Costa, Ana C. R. Paiva, Miguel Nabuco
2014	—	`conf`	SaaS Usage Information for Requirements Maintenance. ICEIS (2) Ana Garcia, Ana C. R. Paiva
2014	Misc	`conf`	Towards a pattern language for model-based GUI testing. EuroPLoP Rodrigo M. L. M. Moreira, Ana C. R. Paiva
2014	—	`ed.`	WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014 WISE@ASE Radu Dobrin, Peter Wallin, Ana C. R. Paiva, Myra B. Cohen
2014	Misc	`conf`	Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. QUATIC Clara Sacramento, Ana C. R. Paiva
2013	A	`conf`	A pattern-based approach for GUI modeling and testing. ISSRE Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon
2013	—	`conf`	Pattern Based GUI Testing Modeling Environment. ICST Workshops Tiago Monteiro, Ana C. R. Paiva
2013	J	`jnl`	Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes João Pascoal Faria, Ana C. R. Paiva
2013	C	`conf`	Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro
2012	—	`conf`	GUI reverse engineering with machine learning. RAISE@ICSE Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho
2012	B	`conf`	Specification-Driven Unit Test Generation for Java Generic Classes. IFM Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva
2012	B	`conf`	Specifying UML Protocol State Machines in Alloy. IFM Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
2012	Misc	`conf`	Test Generation from UML Sequence Diagrams. QUATIC João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang
2011	—	`conf`	Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
2011	Misc	`conf`	Test case generation from mutated task models. EICS Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
2010	Misc	`conf`	Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. QUATIC Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva
2010	—	`conf`	Test Coverage Analysis of UML State Machines. ICST Workshops Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva
2008	—	`conf`	Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. ICSOFT (SE/MUSE/GSDCA) Rodrigo M. L. M. Moreira, Ana C. R. Paiva
2007	—	`conf`	Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. FMIS@BCS HCI José Luís Silva, José Creissac Campos, Ana C. R. Paiva
2007	C	`conf`	Reverse Engineered Formal Models for GUI Testing. FMICS Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes
2007	—	`conf`	Towards the Integration of Visual and Formal Models for GUI Testing. MBT Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
2005	C	`conf`	A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
2005	—	`conf`	Modeling and Testing Hierarchical GUIs. Abstract State Machines Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
2004	Misc	`conf`	Automated Specification-based Testing of Interactive Components with AsmL. QUATIC Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal
2003	—	`conf`	Specification-Based Testing of User Interfaces. DSV-IS Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal