
معرفی
Ana Paiva is an Associate Professor at the Faculty of Engineering of the University of Porto (FEUP), where she has worked since 1999. She is also a researcher at INESC TEC's Software Engineering Group and actively contributes to the international software testing community through projects like PBGT (Pattern-Based GUI Testing) and AMBER iTest. Her roles include directing the Master in Software Engineering program at FEUP and serving in leadership capacities for conferences such as ICST and QUATIC.
- PhD in Electrical and Computer Engineering (2007), University of Porto
- Habilitation in Computer Science (2018), University of Porto
- MSc in Electrical and Computer Engineering (1997), University of Porto
- Degree in Systems and Informatics Engineering (1995), University of Minho
Her research focuses on model-based GUI testing, software testing automation, and pattern-driven validation techniques. She has pioneered approaches for Android testing (iMPAcT tool), reverse engineering of GUIs (ReGUI), and multidimensional test coverage analysis (PARADIGM-COV). Current projects include PBGT (National Science Foundation funded) and TOCE (Testing Online Collaborative Editing).
The 15 most recent publications reveal sustained contributions to mobile application testing (2019-2017), pattern-based testing methodologies (2017-2014), and formal GUI analysis (2013-2008). Key tools developed include PETTool, iLearnTest educational framework, and UML2Spec# translation system.
She leads the Software Engineering Group at INESC TEC and manages research lab I122 (FEUP). Professional service includes ISTQB working groups, QUATIC conference leadership, and editorial contributions to journals like STVR and Software Quality Journal.





