default search action
Ana C. R. Paiva
Person information
- affiliation: University of Porto, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c65]Felix Cammaerts
, Porfirio Tramontana
Exploring students' opinion on software testing courses. EASE 2024: 570-579 - [c64]Ana Barros, Henrique Neto, Alcino Cunha
Alloy Repair Hint Generation Based on Historical Data. FM (2) 2024: 104-121 - [c63]Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, 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. ICST 2024: 59-69 - [c62]Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just:
FRAFOL: FRAmework FOr Learning mutation testing. ISSTA 2024: 1846-1850 - 2023
- [c61]Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino:
ENACTEST project - European Innovation Alliance for Testing Education. CAiSE Research Projects Exhibition 2023: 91-96 - [c60]Felix Cammaerts
Collecting cognitive strategies applied by students during test case design. EASE 2023: 455-459 - [c59]Allan Mori
An Approach to Regression Testing Selection based on Code Changes and Smells. SAST 2023: 25-34 - 2022
- [j14]Domenico Amalfitano
How do Java mutation tools differ? Commun. ACM 65(12): 74-89 (2022) - [j13]Ricardo Pérez-Castillo, Ana C. R. Paiva, Ana Rosa Cavalli:
Special issue on information systems quality for digital transformation. Softw. Qual. J. 30(4): 953-954 (2022) - [c58]António M. S. Ferreira, Alberto Rodrigues da Silva
Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs. ENASE 2022: 477-484 - [c57]Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck:
ENACTEST - European Innovation Alliance for Testing Education. RCIS Workshops 2022 - 2021
- [j12]Nuno Macedo
Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211: 102690 (2021) - [c56]Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva:
Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. ISD 2021 - [e2]Ana C. R. Paiva
Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings. Communications in Computer and Information Science 1439, Springer 2021, ISBN 978-3-030-85346-4 [contents] - 2020
- [j11]Nuno Flores
Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study. Inf. 11(3): 153 (2020) - [j10]Luiz Cavamura Júnior, Ricardo Morimoto, Sandra C. P. F. Fabbri, Ana C. R. Paiva, Auri Marcelo Rizzo Vincenzi:
Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy. J. Softw. Eng. Res. Dev. 8: 5 (2020) - [j9]Ana C. R. Paiva
Test case generation based on mutations over user execution traces. Softw. Qual. J. 28(3): 1173-1186 (2020) - [c55]Nuno Macedo
Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ 2020: 61-77 - [c54]Jorge Esparteiro Garcia
Test Case Generation From Web Usage Information. CENTERIS/ProjMAN/HCist 2020: 913-920 - [c53]Alberto Oliveira, Ricardo Freitas, Alípio Jorge
Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces. IDEAL (2) 2020: 516-523 - [c52]Marco A. Gonçalves, Ana C. R. Paiva
Reverse Engineering of Android Applications: REiMPAcT. QUATIC 2020: 369-382 - [c51]João Miranda
Preliminary Experiences in Requirements-Based Security Testing. QUATIC 2020: 412-425
2010 – 2019
- 2019
- [j8]Ines Coimbra Morgado, Ana C. R. Paiva:
The iMPAcT Tool for Android Testing. Proc. ACM Hum. Comput. Interact. 3(EICS): 4:1-4:23 (2019) - [c50]Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva
From Requirements to Automated Acceptance Tests with the RSL Language. ENASE (Selected Papers) 2019: 39-57 - [c49]Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva:
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach. ENASE 2019: 265-272 - [c48]Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro:
Testing When Mobile Apps Go to Background and Come Back to Foreground. ICST Workshops 2019: 102-111 - [c47]Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros:
Testing Android Incoming Calls. ICST 2019: 441-448 - [c46]Jorge Ferreira
Android Testing Crawler. QUATIC 2019: 313-326 - [c45]Sérgio Almeida
Mutation-Based Web Test Case Generation. QUATIC 2019: 339-346 - [i1]Nuno Macedo
Sharing and Learning Alloy on the Web. CoRR abs/1907.02275 (2019) - 2018
- [j7]Ines Coimbra Morgado, Ana C. R. Paiva:
Mobile GUI testing. Softw. Qual. J. 26(4): 1553-1570 (2018) - [j6]Domenico Amalfitano
Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test. Verification Reliab. 28(1) (2018) - [c44]Ana C. R. Paiva, Nuno H. Flores
End-to-end Automatic Business Process Validation. ANT/SEIT 2018: 999-1004 - [c43]João Pedro Dias
A Brief Overview of Existing Tools for Testing the Internet-of-Things. ICST Workshops 2018: 104-109 - [c42]Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva:
Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests. MODELSWARD 2018: 213-224 - [c41]Alberto Rodrigues da Silva
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. MODELSWARD (Revised Selected Papers) 2018: 455-474 - [c40]Paulo J. M. de Araújo, Ana C. R. Paiva:
Pattern based Web Security Testing. MODELSWARD 2018: 472-479 - [c39]Pedro Silva, Ana C. R. Paiva, André Restivo
Automatic Test Case Generation from Usage Information. QUATIC 2018: 268-271 - [c38]Jorge Esparteiro Garcia
Manage Software Requirements Specification Using Web Analytics Data. WorldCIST (2) 2018: 257-266 - 2017
- [j5]Ana C. R. Paiva
Multidimensional test coverage analysis: PARADIGM-COV tool. Clust. Comput. 20(1): 633-649 (2017) - [j4]Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon:
Pattern-based GUI testing: Bridging the gap between design and quality assurance. Softw. Test. Verification Reliab. 27(3) (2017) - [c37]Fernando Dias, Ana C. R. Paiva:
Pattern-Based Usability Testing. ICST Workshops 2017: 366-371 - 2016
- [j3]Jorge Esparteiro Garcia
A Requirements-to-Implementation Mapping Tool for Requirements Traceability. J. Softw. 11(2): 193-200 (2016) - [j2]João Pascoal Faria
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. 18(3): 285-304 (2016) - [c36]Ines Coimbra Morgado, Ana C. R. Paiva:
Impact of Execution Modes on Finding Android Failures. ANT/SEIT 2016: 284-291 - [c35]Jorge Esparteiro Garcia
Maintaining Requirements Using Web Usage Data. CENTERIS/ProjMAN/HCist 2016: 626-633 - [c34]Jorge Esparteiro Garcia
An Automated Approach for Requirements Specification Maintenance. WorldCIST (1) 2016: 827-833 - 2015
- [c33]Pedro Letra, Ana Cristina Ramada Paiva, Nuno Flores
Game Design Techniques for Software Engineering Management Education. CSE 2015: 192-199 - [c32]Ines Coimbra Morgado, Ana C. R. Paiva:
Test patterns for android mobile applications. EuroPLoP 2015: 32:1-32:7 - [c31]Ines Coimbra Morgado
Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns. ASE Workshops 2015: 42-49 - [c30]Ines Coimbra Morgado
The iMPAcT Tool: Testing UI Patterns on Mobile Applications. ASE 2015: 876-881 - [c29]Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
A Novel Approach using Alloy in Domain-specific Language Engineering. MODELSWARD 2015: 157-164 - 2014
- [c28]Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM. ENASE 2014: 126-135 - [c27]Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
Towards a pattern language for model-based GUI testing. EuroPLoP 2014: 26:1-26:8 - [c26]Miguel Nabuco, Ana C. R. Paiva:
Model-Based Test Case Generation for Web Applications. ICCSA (6) 2014: 248-262 - [c25]Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria
Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) 2014: 311-326 - [c24]Ana Garcia, Ana C. R. Paiva:
SaaS Usage Information for Requirements Maintenance. ICEIS (2) 2014: 323-330 - [c23]Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. ASE 2014: 863-866 - [c22]Pedro Costa
Pattern Based GUI Testing for Mobile Applications. QUATIC 2014: 66-74 - [c21]Clara Sacramento, Ana C. R. Paiva:
Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. QUATIC 2014: 105-115 - [c20]Ines Coimbra Morgado
Automated Pattern-Based Testing of Mobile Applications. QUATIC 2014: 294-299 - [e1]Radu Dobrin, Peter Wallin, Ana C. R. Paiva, Myra B. Cohen:
WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014. ACM 2014, ISBN 978-1-4503-3045-9 [contents] - 2013
- [j1]João Pascoal Faria
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes 38(1): 39-41 (2013) - [c19]Tiago Monteiro, Ana C. R. Paiva:
Pattern Based GUI Testing Modeling Environment. ICST Workshops 2013: 140-143 - [c18]Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon:
A pattern-based approach for GUI modeling and testing. ISSRE 2013: 288-297 - [c17]João Pascoal Faria
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS 2013: 180-195 - 2012
- [c16]Ines Coimbra Morgado
GUI reverse engineering with machine learning. RAISE@ICSE 2012: 27-31 - [c15]Francisco Rebello de Andrade, João Pascoal Faria
Specification-Driven Unit Test Generation for Java Generic Classes. IFM 2012: 296-311 - [c14]Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha
Specifying UML Protocol State Machines in Alloy. IFM 2012: 312-326 - [c13]João Pascoal Faria
Test Generation from UML Sequence Diagrams. QUATIC 2012: 245-250 - 2011
- [c12]Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
Test case generation from mutated task models. EICS 2011: 175-184 - [c11]Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva:
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) 2011: 192-200 - 2010
- [c10]Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva:
Test Coverage Analysis of UML State Machines. ICST Workshops 2010: 284-289 - [c9]Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva:
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. QUATIC 2010: 268-274
2000 – 2009
- 2008
- [c8]Rodrigo M. L. M. Moreira, Ana C. R. Paiva:
Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. ICSOFT (SE/MUSE/GSDCA) 2008: 104-111 - 2007
- [c7]Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes:
Reverse Engineered Formal Models for GUI Testing. FMICS 2007: 218-233 - [c6]José Luís Silva
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. FMIS@BCS HCI 2007: 77-93 - [c5]Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal:
Towards the Integration of Visual and Formal Models for GUI Testing. MBT 2007: 99-111 - 2005
- [c4]Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal:
Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344 - [c3]Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal:
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM 2005: 450-464 - 2004
- [c2]Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal:
Automated Specification-based Testing of Interactive Components with AsmL. QUATIC 2004: 119-126 - 2003
- [c1]Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal:
Specification-Based Testing of User Interfaces. DSV-IS 2003: 139-153
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-02 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: