Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ana C. R. Paiva
@inproceedings{DBLP:conf/caise/MarinVSPF23,
author = {Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Monique Snoeck and
Ana C. R. Paiva and
Anna Rita Fasolino},
editor = {Jaime Font and
Lorena Arcega and
Jos{\'{e}} Fabi{\'{a}}n Reyes Rom{\'{a}}n and
Giovanni Giachetti},
title = {{ENACTEST} project - European Innovation Alliance for Testing Education},
booktitle = {Proceedings of the Research Projects Exhibition Papers Presented at
the 35th International Conference on Advanced Information Systems
Engineering (CAiSE 2023), Zaragoza, Spain, June 12-16, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3413},
pages = {91--96},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3413/paper13.pdf},
timestamp = {Thu, 16 Nov 2023 09:03:12 +0100},
biburl = {https://dblp.org/rec/conf/caise/MarinVSPF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/CammaertsSP23,
author = {Felix Cammaerts and
Monique Snoeck and
Ana C. R. Paiva},
title = {Collecting cognitive strategies applied by students during test case
design},
booktitle = {Proceedings of the 27th International Conference on Evaluation and
Assessment in Software Engineering, {EASE} 2023, Oulu, Finland, June
14-16, 2023},
pages = {455--459},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593434.3593954},
doi = {10.1145/3593434.3593954},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ease/CammaertsSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sast/MoriPS23,
author = {Allan Mori and
Ana C. R. Paiva and
Simone R. S. Souza},
editor = {Awdren L. Font{\~{a}}o and
D{\'{e}}bora M. B. Paiva and
Hudson Borges and
Maria Istela Cagnin and
Patr{\'{\i}}cia Gomes Fernandes and
Vanessa Borges and
Silvana M. Melo and
Vinicius H. S. Durelli and
Edna Dias Canedo},
title = {An Approach to Regression Testing Selection based on Code Changes
and Smells},
booktitle = {8th Brazilian Symposium on Systematic and Automated Software Testing,
{SAST} 2023, Campo Grande, MS, Brazil, September 25-29, 2023},
pages = {25--34},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3624032.3624036},
doi = {10.1145/3624032.3624036},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sast/MoriPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AmalfitanoPIPFJ22,
author = {Domenico Amalfitano and
Ana C. R. Paiva and
Alexis Inquel and
Lu{\'{\i}}s Pinto and
Anna Rita Fasolino and
Ren{\'{e}} Just},
title = {How do Java mutation tools differ?},
journal = {Commun. {ACM}},
volume = {65},
number = {12},
pages = {74--89},
year = {2022},
url = {https://doi.org/10.1145/3526099},
doi = {10.1145/3526099},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AmalfitanoPIPFJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Perez-CastilloP22,
author = {Ricardo P{\'{e}}rez{-}Castillo and
Ana C. R. Paiva and
Ana Rosa Cavalli},
title = {Special issue on information systems quality for digital transformation},
journal = {Softw. Qual. J.},
volume = {30},
number = {4},
pages = {953--954},
year = {2022},
url = {https://doi.org/10.1007/s11219-022-09608-y},
doi = {10.1007/S11219-022-09608-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/Perez-CastilloP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/FerreiraSP22,
author = {Ant{\'{o}}nio M. S. Ferreira and
Alberto Rodrigues da Silva and
Ana C. R. Paiva},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Towards the Art of Writing Agile Requirements with User Stories, Acceptance
Criteria, and Related Constructs},
booktitle = {Proceedings of the 17th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2022, Online Streaming,
April 25-26, 2022},
pages = {477--484},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011082000003176},
doi = {10.5220/0011082000003176},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/FerreiraSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MarinVPFS22,
author = {Beatriz Mar{\'{\i}}n and
Tanja E. J. Vos and
Ana C. R. Paiva and
Anna Rita Fasolino and
Monique Snoeck},
editor = {Jo{\~{a}}o Ara{\'{u}}jo and
Jose Luis de la Vara and
Isabel Sofia Brito and
Nelly Condori{-}Fern{\'{a}}ndez and
Leticia Duboc and
Giovanni Giachetti and
Beatriz Mar{\'{\i}}n and
Estefan{\'{\i}}a Serral and
Alessandra Bagnato and
Lidia L{\'{o}}pez},
title = {{ENACTEST} - European Innovation Alliance for Testing Education},
booktitle = {Joint Proceedings of {RCIS} 2022 Workshops and Research Projects Track
co-located with the 16th International Conference on Research Challenges
in Information Science {(RCIS} 2022), Barcelona, Spain, May 17-20,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3144},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3144/RP-paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/rcis/MarinVPFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MacedoCPCSPRS21,
author = {Nuno Macedo and
Alcino Cunha and
Jos{\'{e}} Pereira and
Renato Carvalho and
Ricardo Silva and
Ana C. R. Paiva and
Miguel Sozinho Ramalho and
Daniel Castro Silva},
title = {Experiences on teaching alloy with an automated assessment platform},
journal = {Sci. Comput. Program.},
volume = {211},
pages = {102690},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102690},
doi = {10.1016/J.SCICO.2021.102690},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MacedoCPCSPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isdevel/GomesPS21,
author = {Ana Catarina Gomes and
Ana C. R. Paiva and
Alberto Rodrigues da Silva},
editor = {Emilio Insfr{\'{a}}n and
Silvia Abrah{\~{a}}o and
Marta Fern{\'{a}}ndez and
Chris Barry and
Michael Lang and
Henry Linger and
Christoph Schneider},
title = {Generating Test Cases from Use Cases and Structured Scenarios: Experiences
with the {RSL} Language},
booktitle = {Information Systems Development: Crossing Boundaries between Development
and Operations (DevOps) in Information Systems {(ISD2021} Proceedings),
Valencia, Spain, September 8-10, 2021},
publisher = {Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia / Association for
Information Systems},
year = {2021},
url = {https://aisel.aisnet.org/isd2014/proceedings2021/managingdevops/8},
timestamp = {Fri, 13 Aug 2021 14:12:01 +0200},
biburl = {https://dblp.org/rec/conf/isdevel/GomesPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/quatic/2021,
editor = {Ana C. R. Paiva and
Ana Rosa Cavalli and
Paula Ventura Martins and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Quality of Information and Communications Technology - 14th International
Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1439},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85347-1},
doi = {10.1007/978-3-030-85347-1},
isbn = {978-3-030-85346-4},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/FloresPC20,
author = {Nuno Flores and
Ana C. R. Paiva and
Nuno Cruz},
title = {Teaching Software Engineering Topics Through Pedagogical Game Design
Patterns: An Empirical Study},
journal = {Inf.},
volume = {11},
number = {3},
pages = {153},
year = {2020},
url = {https://doi.org/10.3390/info11030153},
doi = {10.3390/INFO11030153},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/FloresPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jserd/JuniorMFPV20,
author = {Luiz Cavamura J{\'{u}}nior and
Ricardo Morimoto and
Sandra C. P. F. Fabbri and
Ana C. R. Paiva and
Auri Marcelo Rizzo Vincenzi},
title = {Software Operational Profile vs. Test Profile: Towards a Better Software
Testing Strategy},
journal = {J. Softw. Eng. Res. Dev.},
volume = {8},
pages = {5},
year = {2020},
url = {https://doi.org/10.5753/jserd.2020.546},
doi = {10.5753/JSERD.2020.546},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jserd/JuniorMFPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/PaivaRA20,
author = {Ana C. R. Paiva and
Andr{\'{e}} Restivo and
S{\'{e}}rgio Almeida},
title = {Test case generation based on mutations over user execution traces},
journal = {Softw. Qual. J.},
volume = {28},
number = {3},
pages = {1173--1186},
year = {2020},
url = {https://doi.org/10.1007/s11219-020-09503-4},
doi = {10.1007/S11219-020-09503-4},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/PaivaRA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MacedoCPCSPRS20,
author = {Nuno Macedo and
Alcino Cunha and
Jos{\'{e}} Pereira and
Renato Carvalho and
Ricardo Silva and
Ana C. R. Paiva and
Miguel Sozinho Ramalho and
Daniel Castro Silva},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Experiences on Teaching Alloy with an Automated Assessment Platform},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {61--77},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_5},
doi = {10.1007/978-3-030-48077-6\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/MacedoCPCSPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/centeris/GarciaPB20,
author = {Jorge Esparteiro Garcia and
Ana C. R. Paiva and
Anca{-}Maria Bizoi},
editor = {Maria Manuela Cruz{-}Cunha and
Ricardo Martinho and
Rui Rijo and
Emanuel Peres and
Dulce Domingos and
Nuno Mateus Coelho},
title = {Test Case Generation From Web Usage Information},
booktitle = {{CENTERIS} 2020 - International Conference on ENTERprise Information
Systems / ProjMAN 2020 - International Conference on Project MANagement
/ HCist 2020 - International Conference on Health and Social Care
Information Systems and Technologies 2020, Vilamoura, Portugal},
series = {Procedia Computer Science},
volume = {181},
pages = {913--920},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.procs.2021.01.247},
doi = {10.1016/J.PROCS.2021.01.247},
timestamp = {Tue, 23 Apr 2024 23:18:35 +0200},
biburl = {https://dblp.org/rec/conf/centeris/GarciaPB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/OliveiraFJAMPA20,
author = {Alberto Oliveira and
Ricardo Freitas and
Al{\'{\i}}pio Jorge and
V{\'{\i}}tor Amorim and
Nuno Moniz and
Ana C. R. Paiva and
Paulo J. Azevedo},
editor = {Cesar Analide and
Paulo Novais and
David Camacho and
Hujun Yin},
title = {Sequence Mining for Automatic Generation of Software Tests from {GUI}
Event Traces},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2020
- 21st International Conference, Guimaraes, Portugal, November 4-6,
2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12490},
pages = {516--523},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62365-4\_49},
doi = {10.1007/978-3-030-62365-4\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ideal/OliveiraFJAMPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/GoncalvesP20,
author = {Marco A. Gon{\c{c}}alves and
Ana C. R. Paiva},
editor = {Martin J. Shepperd and
Fernando Brito e Abreu and
Alberto Rodrigues da Silva and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Reverse Engineering of Android Applications: REiMPAcT},
booktitle = {Quality of Information and Communications Technology - 13th International
Conference, {QUATIC} 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1266},
pages = {369--382},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58793-2\_30},
doi = {10.1007/978-3-030-58793-2\_30},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/GoncalvesP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MirandaPS20,
author = {Jo{\~{a}}o Miranda and
Ana C. R. Paiva and
Alberto Rodrigues da Silva},
editor = {Martin J. Shepperd and
Fernando Brito e Abreu and
Alberto Rodrigues da Silva and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Preliminary Experiences in Requirements-Based Security Testing},
booktitle = {Quality of Information and Communications Technology - 13th International
Conference, {QUATIC} 2020, Faro, Portugal, September 9-11, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1266},
pages = {412--425},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58793-2\_33},
doi = {10.1007/978-3-030-58793-2\_33},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/MirandaPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/MorgadoP19,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
title = {The iMPAcT Tool for Android Testing},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {3},
number = {{EICS}},
pages = {4:1--4:23},
year = {2019},
url = {https://doi.org/10.1145/3300963},
doi = {10.1145/3300963},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/MorgadoP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/PaivaMS19,
author = {Ana C. R. Paiva and
Daniel Maciel and
Alberto Rodrigues da Silva},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {From Requirements to Automated Acceptance Tests with the {RSL} Language},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 14th International
Conference, {ENASE} 2019, Heraklion, Crete, Greece, May 4-5, 2019,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1172},
pages = {39--57},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40223-5\_3},
doi = {10.1007/978-3-030-40223-5\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/PaivaMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/MacielPS19,
author = {Daniel Maciel and
Ana C. R. Paiva and
Alberto Rodrigues da Silva},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {From Requirements to Automated Acceptance Tests of Interactive Apps:
An Integrated Model-based Testing Approach},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {265--272},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007679202650272},
doi = {10.5220/0007679202650272},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/MacielPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PaivaGED19,
author = {Ana C. R. Paiva and
Joao M. E. P. Gouveia and
Jean{-}David Elizabeth and
M{\'{a}}rcio E. Delamaro},
title = {Testing When Mobile Apps Go to Background and Come Back to Foreground},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {102--111},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00038},
doi = {10.1109/ICSTW.2019.00038},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/PaivaGED19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PaivaGB19,
author = {Ana C. R. Paiva and
Marco A. Gon{\c{c}}alves and
Andre R. Barros},
title = {Testing Android Incoming Calls},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {441--448},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00053},
doi = {10.1109/ICST.2019.00053},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/PaivaGB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/FerreiraP19,
author = {Jorge Ferreira and
Ana C. R. Paiva},
editor = {Mario Piattini and
Paulo Rupino da Cunha and
Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Android Testing Crawler},
booktitle = {Quality of Information and Communications Technology - 12th International
Conference, {QUATIC} 2019, Ciudad Real, Spain, September 11-13, 2019,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1010},
pages = {313--326},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29238-6\_23},
doi = {10.1007/978-3-030-29238-6\_23},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/FerreiraP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/AlmeidaPR19,
author = {S{\'{e}}rgio Almeida and
Ana C. R. Paiva and
Andr{\'{e}} Restivo},
editor = {Mario Piattini and
Paulo Rupino da Cunha and
Ignacio Garc{\'{\i}}a Rodr{\'{\i}}guez de Guzm{\'{a}}n and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Mutation-Based Web Test Case Generation},
booktitle = {Quality of Information and Communications Technology - 12th International
Conference, {QUATIC} 2019, Ciudad Real, Spain, September 11-13, 2019,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1010},
pages = {339--346},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29238-6\_25},
doi = {10.1007/978-3-030-29238-6\_25},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/AlmeidaPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02275,
author = {Nuno Macedo and
Alcino Cunha and
Jos{\'{e}} Pereira and
Renato Carvalho and
Ricardo Silva and
Ana C. R. Paiva and
Miguel S. Ramalho and
Daniel Castro Silva},
title = {Sharing and Learning Alloy on the Web},
journal = {CoRR},
volume = {abs/1907.02275},
year = {2019},
url = {http://arxiv.org/abs/1907.02275},
eprinttype = {arXiv},
eprint = {1907.02275},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-02275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/MorgadoP18,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
title = {Mobile {GUI} testing},
journal = {Softw. Qual. J.},
volume = {26},
number = {4},
pages = {1553--1570},
year = {2018},
url = {https://doi.org/10.1007/s11219-017-9387-1},
doi = {10.1007/S11219-017-9387-1},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/MorgadoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AmalfitanoRPF18,
author = {Domenico Amalfitano and
Vincenzo Riccio and
Ana C. R. Paiva and
Anna Rita Fasolino},
title = {Why does the orientation change mess up my Android application? From
{GUI} failures to code faults},
journal = {Softw. Test. Verification Reliab.},
volume = {28},
number = {1},
year = {2018},
url = {https://doi.org/10.1002/stvr.1654},
doi = {10.1002/STVR.1654},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AmalfitanoRPF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/PaivaFFM18,
author = {Ana C. R. Paiva and
Nuno H. Flores and
Jo{\~{a}}o Pascoal Faria and
Jos{\'{e}} M. G. Marques},
editor = {Elhadi M. Shakshuki and
Ansar{-}Ul{-}Haque Yasar},
title = {End-to-end Automatic Business Process Validation},
booktitle = {The 9th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2018) / The 8th International Conference on Sustainable
Energy Information Technology {(SEIT} 2018) / Affiliated Workshops,
May 8-11, 2018, Porto, Portugal},
series = {Procedia Computer Science},
volume = {130},
pages = {999--1004},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.procs.2018.04.104},
doi = {10.1016/J.PROCS.2018.04.104},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/ant/PaivaFFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasCPF18,
author = {Jo{\~{a}}o Pedro Dias and
Flavio Couto and
Ana C. R. Paiva and
Hugo Sereno Ferreira},
title = {A Brief Overview of Existing Tools for Testing the Internet-of-Things},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {104--109},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00035},
doi = {10.1109/ICSTW.2018.00035},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiasCPF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SilvaPS18,
author = {Alberto Rodrigues da Silva and
Ana C. R. Paiva and
Valter Emanuel R. da Silva},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Towards a Test Specification Language for Information Systems: Focus
on Data Entity and State Machine Tests},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {213--224},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006608002130224},
doi = {10.5220/0006608002130224},
timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/SilvaPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SilvaPS18a,
author = {Alberto Rodrigues da Silva and
Ana C. R. Paiva and
Valter Emanuel R. da Silva},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {A Test Specification Language for Information Systems Based on Data
Entities, Use Cases and State Machines},
booktitle = {Model-Driven Engineering and Software Development - 6th International
Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January
22-24, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {991},
pages = {455--474},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11030-7\_20},
doi = {10.1007/978-3-030-11030-7\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/SilvaPS18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AraujoP18,
author = {Paulo J. M. de Ara{\'{u}}jo and
Ana C. R. Paiva},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Pattern based Web Security Testing},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {472--479},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006606504720479},
doi = {10.5220/0006606504720479},
timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AraujoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/SilvaPRG18,
author = {Pedro Silva and
Ana C. R. Paiva and
Andr{\'{e}} Restivo and
Jorge Esparteiro Garcia},
editor = {Antonia Bertolino and
Vasco Amaral and
Paulo Rupino and
Marco Vieira},
title = {Automatic Test Case Generation from Usage Information},
booktitle = {11th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2018, Coimbra, Portugal, September 4-7, 2018},
pages = {268--271},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/QUATIC.2018.00047},
doi = {10.1109/QUATIC.2018.00047},
timestamp = {Mon, 26 Apr 2021 09:27:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/SilvaPRG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/GarciaP18,
author = {Jorge Esparteiro Garcia and
Ana C. R. Paiva},
editor = {{\'{A}}lvaro Rocha and
Hojjat Adeli and
Lu{\'{\i}}s Paulo Reis and
Sandra Costanzo},
title = {Manage Software Requirements Specification Using Web Analytics Data},
booktitle = {Trends and Advances in Information Systems and Technologies - Volume
2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]},
series = {Advances in Intelligent Systems and Computing},
volume = {746},
pages = {257--266},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77712-2\_25},
doi = {10.1007/978-3-319-77712-2\_25},
timestamp = {Wed, 21 Oct 2020 09:19:55 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/GarciaP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/PaivaV17,
author = {Ana C. R. Paiva and
Liliana Vilela},
title = {Multidimensional test coverage analysis: {PARADIGM-COV} tool},
journal = {Clust. Comput.},
volume = {20},
number = {1},
pages = {633--649},
year = {2017},
url = {https://doi.org/10.1007/s10586-017-0728-4},
doi = {10.1007/S10586-017-0728-4},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/PaivaV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MoreiraPNM17,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva and
Miguel Nabuco and
Atif Memon},
title = {Pattern-based {GUI} testing: Bridging the gap between design and quality
assurance},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/stvr.1629},
doi = {10.1002/STVR.1629},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MoreiraPNM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasP17,
author = {Fernando Dias and
Ana C. R. Paiva},
title = {Pattern-Based Usability Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {366--371},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.65},
doi = {10.1109/ICSTW.2017.65},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/DiasP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/GarciaP16,
author = {Jorge Esparteiro Garcia and
Ana C. R. Paiva},
title = {A Requirements-to-Implementation Mapping Tool for Requirements Traceability},
journal = {J. Softw.},
volume = {11},
number = {2},
pages = {193--200},
year = {2016},
url = {https://doi.org/10.17706/jsw.11.2.193-200},
doi = {10.17706/JSW.11.2.193-200},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/GarciaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FariaP16,
author = {Jo{\~{a}}o Pascoal Faria and
Ana C. R. Paiva},
title = {A toolset for conformance testing against {UML} sequence diagrams
based on event-driven colored Petri nets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {3},
pages = {285--304},
year = {2016},
url = {https://doi.org/10.1007/s10009-014-0354-x},
doi = {10.1007/S10009-014-0354-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FariaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/MorgadoP16,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
editor = {Elhadi M. Shakshuki},
title = {Impact of Execution Modes on Finding Android Failures},
booktitle = {The 7th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2016) / The 6th International Conference on Sustainable
Energy Information Technology {(SEIT-2016)} / Affiliated Workshops,
May 23-26, 2016, Madrid, Spain},
series = {Procedia Computer Science},
volume = {83},
pages = {284--291},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.04.127},
doi = {10.1016/J.PROCS.2016.04.127},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ant/MorgadoP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/centeris/GarciaP16,
author = {Jorge Esparteiro Garcia and
Ana C. R. Paiva},
editor = {Jo{\~{a}}o Eduardo Quintela Varaj{\~{a}}o and
Maria Manuela Cruz{-}Cunha and
Ricardo Martinho and
Rui Rijo and
Niels Bj{\o}rn{-}Andersen and
Rodney Turner and
Domingos Alves},
title = {Maintaining Requirements Using Web Usage Data},
booktitle = {International Conference on ENTERprise Information Systems/International
Conference on Project MANagement/International Conference on Health
and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist
2016, Porto, Portugal, October 5-7, 2016},
series = {Procedia Computer Science},
volume = {100},
pages = {626--633},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.09.204},
doi = {10.1016/J.PROCS.2016.09.204},
timestamp = {Tue, 23 Apr 2024 23:18:35 +0200},
biburl = {https://dblp.org/rec/conf/centeris/GarciaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/GarciaP16,
author = {Jorge Esparteiro Garcia and
Ana C. R. Paiva},
editor = {{\'{A}}lvaro Rocha and
Ana Maria Ramalho Correia and
Hojjat Adeli and
Lu{\'{\i}}s Paulo Reis and
Marcelo Mendon{\c{c}}a Teixeira},
title = {An Automated Approach for Requirements Specification Maintenance},
booktitle = {New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16,
Recife, Pernambuco, Brazil, March 22-24, 2016]},
series = {Advances in Intelligent Systems and Computing},
volume = {444},
pages = {827--833},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31232-3\_78},
doi = {10.1007/978-3-319-31232-3\_78},
timestamp = {Wed, 21 Oct 2020 09:19:56 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/GarciaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/LetraPF15,
author = {Pedro Letra and
Ana Cristina Ramada Paiva and
Nuno Flores},
editor = {Christian Plessl and
Didier El Baz and
Guojing Cong and
Jo{\~{a}}o M. P. Cardoso and
Lu{\'{\i}}s Veiga and
Thomas Rauber},
title = {Game Design Techniques for Software Engineering Management Education},
booktitle = {18th {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2015, Porto, Portugal, October 21-23, 2015},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSE.2015.42},
doi = {10.1109/CSE.2015.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/LetraPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/MorgadoP15,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
editor = {Claudius Link and
Veli{-}Pekka Eloranta},
title = {Test patterns for android mobile applications},
booktitle = {Proceedings of the 20th European Conference on Pattern Languages of
Programs, EuroPLoP 2015, Kaufbeuren, Germany, July 8-12, 2015},
pages = {32:1--32:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2855321.2855354},
doi = {10.1145/2855321.2855354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/MorgadoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MorgadoP15a,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
title = {Testing Approach for Mobile Applications through Reverse Engineering
of {UI} Patterns},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2015, Lincoln, NE, USA, November 9-13,
2015},
pages = {42--49},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASEW.2015.11},
doi = {10.1109/ASEW.2015.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MorgadoP15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MorgadoP15,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {The iMPAcT Tool: Testing {UI} Patterns on Mobile Applications},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {876--881},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.96},
doi = {10.1109/ASE.2015.96},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MorgadoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MoreiraP15,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Philippe Desfray and
Joaquim Filipe},
title = {A Novel Approach using Alloy in Domain-specific Language Engineering},
booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
on Model-Driven Engineering and Software Development, ESEO, Angers,
Loire Valley, France, 9-11 February, 2015},
pages = {157--164},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005228101570164},
doi = {10.5220/0005228101570164},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/MoreiraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/MoreiraP14,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {A {GUI} Modeling {DSL} for Pattern-Based {GUI} Testing - {PARADIGM}},
booktitle = {{ENASE} 2014 - Proceedings of the 9th International Conference on
Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal,
28-30 April, 2014},
pages = {126--135},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004880601260135},
doi = {10.5220/0004880601260135},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/enase/MoreiraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/MoreiraP14,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva},
editor = {Veli{-}Pekka Eloranta and
Uwe van Heesch},
title = {Towards a pattern language for model-based {GUI} testing},
booktitle = {Proceedings of the 19th European Conference on Pattern Languages of
Programs, EuroPLoP 2014, Irsee, Germany, July 9-13, 2014},
pages = {26:1--26:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2721956.2721972},
doi = {10.1145/2721956.2721972},
timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
biburl = {https://dblp.org/rec/conf/europlop/MoreiraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/NabucoP14,
author = {Miguel Nabuco and
Ana C. R. Paiva},
editor = {Beniamino Murgante and
Sanjay Misra and
Ana Maria A. C. Rocha and
Carmelo Maria Torre and
Jorge Gustavo Rocha and
Maria Irene Falc{\~{a}}o and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {Model-Based Test Case Generation for Web Applications},
booktitle = {Computational Science and Its Applications - {ICCSA} 2014 - 14th International
Conference, Guimar{\~{a}}es, Portugal, June 30 - July 3, 2014, Proceedings,
Part {VI}},
series = {Lecture Notes in Computer Science},
volume = {8584},
pages = {248--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09153-2\_19},
doi = {10.1007/978-3-319-09153-2\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/NabucoP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/NabucoPF14,
author = {Miguel Nabuco and
Ana C. R. Paiva and
Jo{\~{a}}o Pascoal Faria},
editor = {Beniamino Murgante and
Sanjay Misra and
Ana Maria A. C. Rocha and
Carmelo Maria Torre and
Jorge Gustavo Rocha and
Maria Irene Falc{\~{a}}o and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {Inferring User Interface Patterns from Execution Traces of Web Applications},
booktitle = {Computational Science and Its Applications - {ICCSA} 2014 - 14th International
Conference, Guimar{\~{a}}es, Portugal, June 30 - July 3, 2014, Proceedings,
Part {V}},
series = {Lecture Notes in Computer Science},
volume = {8583},
pages = {311--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09156-3\_23},
doi = {10.1007/978-3-319-09156-3\_23},
timestamp = {Mon, 05 Feb 2024 20:32:23 +0100},
biburl = {https://dblp.org/rec/conf/iccsa/NabucoPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GarciaP14,
author = {Ana Garcia and
Ana C. R. Paiva},
editor = {Slimane Hammoudi and
Leszek A. Maciaszek and
Jos{\'{e}} Cordeiro},
title = {SaaS Usage Information for Requirements Maintenance},
booktitle = {{ICEIS} 2014 - Proceedings of the 16th International Conference on
Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30
April, 2014},
pages = {323--330},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004898403230330},
doi = {10.5220/0004898403230330},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/GarciaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MoreiraP14,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {{PBGT} tool: an integrated modeling and testing environment for pattern-based
{GUI} testing},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {863--866},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2648618},
doi = {10.1145/2642937.2648618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MoreiraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/CostaPN14,
author = {Pedro Costa and
Ana C. R. Paiva and
Miguel Nabuco},
title = {Pattern Based {GUI} Testing for Mobile Applications},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {66--74},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.16},
doi = {10.1109/QUATIC.2014.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/CostaPN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/SacramentoP14,
author = {Clara Sacramento and
Ana C. R. Paiva},
title = {Web Application Model Generation through Reverse Engineering and {UI}
Pattern Inferring},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {105--115},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.20},
doi = {10.1109/QUATIC.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/SacramentoP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MorgadoPF14,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva and
Jo{\~{a}}o Pascoal Faria},
title = {Automated Pattern-Based Testing of Mobile Applications},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {294--299},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.47},
doi = {10.1109/QUATIC.2014.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/MorgadoPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014wise,
editor = {Radu Dobrin and
Peter Wallin and
Ana C. R. Paiva and
Myra B. Cohen},
title = {WISE'14, Proceedings of the 2014 {ACM} International Workshop on Long-term
Industrial Collaboration on Software Engineering, Vasteras, Sweden,
September 16, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2647648},
isbn = {978-1-4503-3045-9},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/2014wise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FariaP13,
author = {Jo{\~{a}}o Pascoal Faria and
Ana C. R. Paiva},
title = {Report from the 8th international conference on the quality of information
and communications technology {(QUATIC} 2012)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {38},
number = {1},
pages = {39--41},
year = {2013},
url = {https://doi.org/10.1145/2382756.2382765},
doi = {10.1145/2382756.2382765},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/FariaP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MonteiroP13,
author = {Tiago Monteiro and
Ana C. R. Paiva},
title = {Pattern Based {GUI} Testing Modeling Environment},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {140--143},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.24},
doi = {10.1109/ICSTW.2013.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MonteiroP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MoreiraPM13,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva and
Atif Memon},
title = {A pattern-based approach for {GUI} modeling and testing},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {288--297},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698881},
doi = {10.1109/ISSRE.2013.6698881},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MoreiraPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FariaPC13,
author = {Jo{\~{a}}o Pascoal Faria and
Ana C. R. Paiva and
M{\'{a}}rio Ventura de Castro},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Techniques and Toolset for Conformance Testing against {UML} Sequence
Diagrams},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {180--195},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_12},
doi = {10.1007/978-3-642-41707-8\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/FariaPC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorgadoPFC12,
author = {Ines Coimbra Morgado and
Ana C. R. Paiva and
Jo{\~{a}}o Pascoal Faria and
Rui Camacho},
editor = {Rachel Harrison},
title = {{GUI} reverse engineering with machine learning},
booktitle = {Proceedings of the First International Workshop on Realizing {AI}
Synergies in Software Engineering, {RAISE} 2012, Zurich, Switzerland,
June 5, 2012},
pages = {27--31},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/RAISE.2012.6227966},
doi = {10.1109/RAISE.2012.6227966},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MorgadoPFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AndradeFLP12,
author = {Francisco Rebello de Andrade and
Jo{\~{a}}o Pascoal Faria and
Ant{\'{o}}nia Lopes and
Ana C. R. Paiva},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Specification-Driven Unit Test Generation for Java Generic Classes},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {296--311},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_21},
doi = {10.1007/978-3-642-30729-4\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AndradeFLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GarisPCR12,
author = {Ana Gabriela Garis and
Ana C. R. Paiva and
Alcino Cunha and
Daniel Riesco},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Specifying {UML} Protocol State Machines in Alloy},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {312--326},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_22},
doi = {10.1007/978-3-642-30729-4\_22},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GarisPCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/FariaPY12,
author = {Jo{\~{a}}o Pascoal Faria and
Ana C. R. Paiva and
Zhuanli Yang},
editor = {Jo{\~{a}}o Pascoal Faria and
Alberto Rodrigues da Silva and
Ricardo Jorge Machado},
title = {Test Generation from {UML} Sequence Diagrams},
booktitle = {8th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
pages = {245--250},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QUATIC.2012.57},
doi = {10.1109/QUATIC.2012.57},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/FariaPY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BarbosaPC11,
author = {Ana Barbosa and
Ana C. R. Paiva and
Jos{\'{e}} Creissac Campos},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {Test case generation from mutated task models},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {175--184},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996516},
doi = {10.1145/1996461.1996516},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/BarbosaPC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/AndradeFP11,
author = {Francisco Rebello de Andrade and
Jo{\~{a}}o Pascoal Faria and
Ana C. R. Paiva},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Test Generation from Bounded Algebraic Specifications using Alloy},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {192--200},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/AndradeFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FerreiraFP10,
author = {Ricardo D. F. Ferreira and
Jo{\~{a}}o C. P. Faria and
Ana C. R. Paiva},
title = {Test Coverage Analysis of {UML} State Machines},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {284--289},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.60},
doi = {10.1109/ICSTW.2010.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FerreiraFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/FerreiraFP10,
author = {Ricardo D. F. Ferreira and
Jo{\~{a}}o C. P. Faria and
Ana C. R. Paiva},
editor = {Fernando Brito e Abreu and
Jo{\~{a}}o Pascoal Faria and
Ricardo Jorge Machado},
title = {Test Coverage Analysis of {UML} Activity Diagrams for Interactive
Systems},
booktitle = {Quality of Information and Communications Technology, 7th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
pages = {268--274},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QUATIC.2010.51},
doi = {10.1109/QUATIC.2010.51},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/FerreiraFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/MoreiraP08,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {Visual Abstract Notation for Gui Modelling and Testing - {VAN4GUIM}},
booktitle = {{ICSOFT} 2008 - Proceedings of the Third International Conference
on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal,
July 5-8, 2008},
pages = {104--111},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Wed, 04 Mar 2009 15:42:39 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/MoreiraP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/PaivaFM07,
author = {Ana C. R. Paiva and
Jo{\~{a}}o C. P. Faria and
Pedro M. C. Mendes},
editor = {Stefan Leue and
Pedro Merino},
title = {Reverse Engineered Formal Models for {GUI} Testing},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {218--233},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_16},
doi = {10.1007/978-3-540-79707-4\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/PaivaFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SilvaCP08,
author = {Jos{\'{e}} Lu{\'{\i}}s Silva and
Jos{\'{e}} Creissac Campos and
Ana C. R. Paiva},
editor = {Antonio Cerone and
Paul Curzon},
title = {Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {77--93},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.108},
doi = {10.1016/J.ENTCS.2008.03.108},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SilvaCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PaivaFV07,
author = {Ana C. R. Paiva and
Jo{\~{a}}o C. P. Faria and
Raul F. A. M. Vidal},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Towards the Integration of Visual and Formal Models for {GUI} Testing},
booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007,
Braga, Portugal, March 31 - April 1, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {2},
pages = {99--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.010},
doi = {10.1016/J.ENTCS.2007.08.010},
timestamp = {Tue, 31 Jan 2023 15:52:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PaivaFV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PaivaTFV05,
author = {Ana C. R. Paiva and
Nikolai Tillmann and
Jo{\~{a}}o C. P. Faria and
Raul F. A. M. Vidal},
title = {Modeling and Testing Hierarchical GUIs},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {329--344},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/AnaCRPaiva.ps},
timestamp = {Mon, 16 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/PaivaTFV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PaivaFTV05,
author = {Ana C. R. Paiva and
Jo{\~{a}}o C. P. Faria and
Nikolai Tillmann and
Raul F. A. M. Vidal},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {A Model-to-Implementation Mapping Tool for Automated Model-Based {GUI}
Testing},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {450--464},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_31},
doi = {10.1007/11576280\_31},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PaivaFTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/PaivaFV04,
author = {Ana C. R. Paiva and
Jo{\~{a}}o Pascoal Faria and
Raul Moreira Vidal},
editor = {Fernando Brito e Abreu and
Jorge S. Coelho and
Miguel Goul{\~{a}}o and
Rafael Gomes},
title = {Automated Specification-based Testing of Interactive Components with
AsmL},
booktitle = {Proceedings of the 5th International Conference on the Quality of
Information and Communications Technology, Porto, Portugal, October
18-20, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {1135},
pages = {119--126},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-1135/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:59 +0100},
biburl = {https://dblp.org/rec/conf/quatic/PaivaFV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PaivaFV03,
author = {Ana C. R. Paiva and
Jo{\~{a}}o C. P. Faria and
Raul F. A. M. Vidal},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {Specification-Based Testing of User Interfaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {139--153},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_10},
doi = {10.1007/978-3-540-39929-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PaivaFV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:39 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:
