Ana C. R. Paiva

Dikutip oleh

	Semua	Sejak 2020
Kutipan	2229	817
indeks-h	29	16
indeks-i10	64	29

280

140

210

20052006200720082009201020112012201320142015201620172018201920202021202220232024202510 6 16 20 16 56 35 76 99 157 82 150 164 208 272 147 184 137 175 136 38

Akses publik

Lihat semua

23 artikel

6 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

João Pascoal FariaINESC TEC and Faculty of Engineering, University of PortoEmail yang diverifikasi di fe.up.pt
Rodrigo M. L. M. MoreiraDepartamento de Engenharia InformáticaEmail yang diverifikasi di fe.up.pt
Alberto Rodrigues da SilvaINESC-ID, Instituto Superior Técnico, Universidade de LisboaEmail yang diverifikasi di tecnico.ulisboa.pt
Anna Rita FasolinoAssociate Professor, University of Naples Federico IIEmail yang diverifikasi di unina.it
Nuno FloresAssistant Professor, Faculty of Engineering, University of PortoEmail yang diverifikasi di fe.up.pt
Miguel NabucoResearcher at Faculty of Engineering of University of PortoEmail yang diverifikasi di fe.up.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoEmail yang diverifikasi di di.uminho.pt
Domenico AmalfitanoUniversity of NaplesEmail yang diverifikasi di unina.it
Nikolai TillmannMetaEmail yang diverifikasi di fb.com
André RestivoDEI/LIACC, Faculdade de Engenharia da Universidade do PortoEmail yang diverifikasi di fe.up.pt
Atif MemonProfessor of Computer Science, University of MarylandEmail yang diverifikasi di cs.umd.edu
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECEmail yang diverifikasi di di.uminho.pt
Hugo Sereno FerreiraARM (Principal Research Engineer) and University of Porto (Assistant Professor)Email yang diverifikasi di arm.com
Rui AbreuMeta Platforms, Inc and University of Porto/INESC-IDEmail yang diverifikasi di fe.up.pt
Ademar AguiarAssociate Professor, Fac. Engineering, University of Porto | Research Coordinator, HumanISE,INESCTECEmail yang diverifikasi di fe.up.pt

Ikuti

Ana C. R. Paiva

Faculdade de Engenharia da Universidade do Porto

Email yang diverifikasi di fe.up.pt - Beranda

Software Engineering Software Testing Formal Methods


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
A model-to-implementation mapping tool for automated model-based GUI testing ACR Paiva, JCP Faria, N Tillmann, RAM Vidal International Conference on Formal Engineering Methods, 450-464, 2005	108	2005
A pattern-based approach for GUI modeling and testing RMLM Moreira, ACR Paiva, A Memon IEEE 24th International Symposium on Software Reliability Engineering (ISSRE …, 2013	88	2013
Model-based user interface testing with spec explorer and concurtasktrees JL Silva, JC Campos, ACR Paiva Electronic Notes in Theoretical Computer Science 208, 77-93, 2008	78	2008
A brief overview of existing tools for testing the internet-of-things JP Dias, F Couto, ACR Paiva, HS Ferreira IEEE international conference on software testing, verification and …, 2018	73	2018
Modeling and Testing Hierarchical GUIs ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal Proceedings of the 12th International Workshop on Abstract State Machines, 2005	73	2005
Reverse engineering of GUI models for testing AMP Grilo, ACR Paiva, JP Faria 5th iberian conference on information systems and technologies, 1-6, 2010	69	2010
Pattern‐based GUI testing: Bridging the gap between design and quality assurance RMLM Moreira, AC Paiva, M Nabuco, A Memon Journal of Software: Testing, Verification and Reliability 27 (3), e1629, 2017	61	2017
Automated specification-based testing of graphical user interfaces ACR Paiva Department of Electrical and Computer Engineering, 228, 2007	58*	2007
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing RMLM Moreira, ACR Paiva Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	51	2014
The iMPAcT tool: Testing UI patterns on mobile applications IC Morgado, ACR Paiva 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	49	2015
Pattern Based GUI Testing for Mobile Applications P Costa, ACR Paiva, M Nabuco 9th International Conference on the Quality of Information and …, 2014	49	2014
Why does the orientation change mess up my Android application? From GUI failures to code faults D Amalfitano, V Riccio, ACR Paiva, AR Fasolino Software Testing, Verification and Reliability 28 (1), e1654, 2018	47	2018
Towards the integration of visual and formal models for GUI testing ACR Paiva, JCP Faria, RFAM Vidal Electronic Notes in Theoretical Computer Science 190 (2), 99-111, 2007	45	2007
Reverse engineered formal models for GUI testing ACR Paiva, JCP Faria, PMC Mendes International Workshop on Formal Methods for Industrial Critical Systems …, 2007	44	2007
Automated pattern-based testing of mobile applications IC Morgado, ACR Paiva, JP Faria 2014 9th International Conference on the Quality of Information and …, 2014	43	2014
Dynamic reverse engineering of graphical user interfaces IC Morgado, ACR Paiva, JP Faria International Journal On Advances in So ware, 2012	43	2012
PETTool: A pattern-based GUI testing tool M Cunha, ACR Paiva, HS Ferreira, R Abreu 2010 2nd International Conference on Software Technology and Engineering 1 …, 2010	43	2010
iLearnTest–framework for educational games ACR Paiva, NH Flores, AG Barbosa, TPB Ribeiro Procedia-Social and Behavioral Sciences 228, 443-448, 2016	41	2016
Model-based test case generation for web applications M Nabuco, ACR Paiva International Conference on Computational Science and Its Applications, 248-262, 2014	40	2014
Test case generation from mutated task models A Barbosa, ACR Paiva, JC Campos Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011	40	2011

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama