Short Biography
Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Associate Professor with Habilitation at the Informatics Engineering Department of the Faculty of Engineering of University of Porto (FEUP) where she works since 1999. She is a researcher at INESC TEC in the Software Engineering area and member of the Software Engineering Group which gathers researchers and post graduate students with common interests in software engineering. She teaches subjects like Software Testing, Formal Methods and Software Engineering, among others. She has a PhD in Electrical and Computer Engineering from FEUP with a thesis titled "Automated Specification Based Testing of Graphical User Interfaces". Her expertise is on the implementation and automation of the model based testing process. She has been developing research work in collaboration with Foundation of Software Engineering research group within Microsoft Research where she had the opportunity to extend Microsoft's model-based testing tool, Spec Explorer, for GUI testing. She is PI of a National Science Foundation funded project on Pattern-Based GUI Testing (PBGT). She is a member of the PSTQB (Portuguese Software Testing Qualification Board) board general assembly, member of TBok, Glossary, and Examination Working Groups of the ISTQB (International Software Testing Qualification Board), and member of the Council of the Department of Informatics Engineering of FEUP.
Organization of Forthcoming Events
General Chair: International Conference on Software Testing, Verification and Validation
General Chair: TAROT2020 -- 20th International Summer School on Training And Research On Testing
Projects
Current- PBGT : Pattern Based GUI Testing (PTDC/EIA-EIA/119479/2010).
- TOCE : Testing Online Collaborative Editing (E-25/11).
- QUEST : A Quest for Reliability in Generic software Components (PTDC/EIA-EIA/103103/2008).
- AMBER iTest: An automated model-based user interface testing environment (PTDC/EIA/66767/2006). Home Page.
- YES!VV : State of the art and benchmarking of the project (FEUP/CS/2008), [2008-2008].
- YES!VV : Demonstration of the independent technique of software verification and validation (FEUP/CS/2007), [2007-2008].
- REVVIS : Network of Specialists in Software Verification and Validation, [2007-2010].
- IVY : A model-based usability analysis environment (POSC/EIA/56646/2004), [2005-2008].
Contact Info
Ana Paiva
Department of Informatics Engineering
Faculty of Engineering
University of Porto
Rua Dr. Roberto Frias, s/n
4200-465 Porto, Portugal
office: Gab. I128
phone: +351 22 041 3318
Research lab:I122
phone:+351 22 508 1613
fax: +351 22 557 4103
e-mail: apaiva @ fe . up . pt
