Search

Speakers

Ana Paiva

Ana Paiva is Assistant Professor with Habilitation at Faculty of Engineering of University of Porto (FEUP) and researcher at INESC TEC. She is the director of the Master in Software Engineeiring. She has published more than 70 papers in international conferences and scientific journals and she has been involved in several research projects. She has three best paper awards. Her research interests include software testing, test automation, mobile testing and mutation testing. She is co-founder of the Portuguese Software Testing Qualification Board (PSTQB).

Bernhard Aichernig

Bernhard K. Aichernig is a tenured associate professor at Graz University of Technology, Austria. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification and abstraction techniques. Current topics include the IoT, test-case generation, model learning, and statistical model checking. Since 2006, he participated in four European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe.

Ana Cavalli

Ana Rosa Cavalli has obtained her Doctorat d'Etat es Mathematics Science and Informatics, from the University of Paris VII, in 1984. She has been professor at TELECOM SudParis since 1990, and director of the Software-Networks department from 2005 to 2015. Her research interests include testing methodologies for conformance and interoperability, active testing and validation of security properties. She has been the leader of the European Marie Curie network TAROT (Training and Research on Testing) and participates to several national and international projects.

Anna Rita Fasolino

Anna Rita Fasolino is an Associate Professor at the Department of Electrical Engineering and Information Technology of the University of Napoli Federico II, Italy. Her main research interests are software testing, mobile app testing, reverse engineering, Web engineering, and embedded software engineering. She developed and participated in numerous R&D projects and co-authored more than 100 articles in peer-reviewed international journals, books, conferences and workshops. She has won distinguished paper awards at ICSM 2002 and ICSM 2012. She serves as a member of the PC for several conferences and is member of the editorial board of scientific journals in software Engineering field.

Eda Marchetti

Eda Marchetti is a senior researcher at ISTI (Istituto di Scienza e Tecnologie dell'Informazione ''A. Faedo'') of National Research Council of Italy. Her research activity focuses on software testing and in particular privacy and security testing, testing of access control systems, model-based testing, SOA and component-based testing, business process modelling and testing. She has taking the role of WP coordinator in different national and European projects. She is member of the Italian National Cybersecurity Committee and of the Tuscany Centre of Cybersecurity. She has (co)authored over 80 papers in international journals and conferences.

Fatiha Zaïdi

Fatiha Zaïdi received the PhD degree in Computer Science from the University of Evry, France, in 2001, and the Habilitation degree in computer Science from Paris Sud University, France, in 2010. She is currently an associated professor at Paris Sud University. Her research activities address formal methods in the software development cycle and in particular model-based testing, runtime verification, and parametrized model checking for concurrent and distributed systems.

Francisco Palomo-Lozano

Francisco Palomo-Lozano has been with the Department of Computer Science and Engineering of the University of Cádiz (Spain) since 1994. He has been a member of the Association for Automated Reasoning (AAR) since 2001. Francisco enjoyed research stays at the USA (University of Texas at Austin) and the UK (King's College). A member of the UCASE Software Engineering Research Group and the Spanish Excellence Network on Search-Based Software Engineering (SBSE), his research interests include Software Verification and Validation, Algorithms, Optimization, and Search-Based Software Engineering.

Paolo Arcaini

Paolo Arcaini is project associate professor at the National Institute of Informatics, Japan. His main research interests are related to model-based testing, search-based testing, fault-based testing, and automatic repair. His current research in the ERATO Metamathematics for Systems Design (MMSD) project is related to the testing of automotive systems.

Rob Hierons

Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Goldsmiths College, University of London, before returning to Brunel University in 2000. He was promoted to full Professor in 2003 and joined The University of Sheffield in 2018. His research largely concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing.

Pascoal Faria

Pascoal Faria is Associate Professor at the Department of Informatics Engineering and Director of the Integrated Master in Informatics and Computing Engineering (MIEIC). He is the main author of a rapid application development tool (SAGA), based on domain specific languages, with more than 25 years of market presence and evolution (1989-present). He is currently involved in research projects, supervisions and consulting activities in the areas of model-based testing, software process improvement and model-driven development.

Rui Abreu

Dr. Rui Abreu holds a Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands. His research revolves around software quality, with emphasis in automating the testing and debugging phases of the software development life-cycle as well as self-adaptation. He is the recipient of 7 Best Paper Awards. Before joined IST, ULisbon as an Associate Professor and INESC-ID as a Senior Researcher, he was a member of research staff at PARC and an Assistant Professor at the University of Porto. He has co-founded DashDash in January 2017, a platform to create web apps using only spreadsheet skills. Currently, is is also with Google NY as a Visiting Researcher.

Tanja E.J. Vos

Prof. Dr. Tanja Vos is a full professor at the Open University (Netherlands) and an associate professor at the Universitat Politècnica de València (Spain). For over 20 years she has been working with many companies on automated testing projects. She is project lead for the TESTAR.org approach for automated testing at the GUI level. Tanja has successfully coordinated EU-funded projects (FITTEST, EvoTest). She started the Software Testing Innovation Alliance in Spain and is involved in the European Alliance. She is part of the dutch consortium of the ITEA TESTOMAT and IVVES project. She is part of the Spanish consortium in the H2020 DECODER project and iv4XR

José Creissac Campos

José C. Campos is a lecturer at University of Minho and senior researcher at INESC TEC. His interests centre on engineering interactive systems, at the intersection of Formal Methods, Software Engineering and Human-Computer Interaction, with a particular interest in developing tools to automate analysis (e.g. the IVY model-based user interfaces analysis tool). He currently chairs the steering committee of the ACM Symposium on Engineering Interactive Computing Systems (EICS) and the IFIP working group 2.7/13.4 on User Interface Engineering. He is a member of the College of Assessors of the New Zealand Ministry of Business, Innovation & Employment and of the editorial board of the Proceedings of the ACM on HCI (EICS) journal.

Pablo C. Cañizares

Pablo C. Cañizares received the PhD. degree in Computer Science from the Complutense University of Madrid, in 2020. His research interests include formal methods, and modelling and testing of distributed systems. Specifically, he uses Metamorphic Testing and Model-Driven Engineering to model and validate cloud systems.

Manuel Núñez

Manuel Núñez received a Ph.D. degree in Mathematics and an M.S. degree in Economics. He is a Professor of Computer Science with the Complutense University of Madrid, Spain. His main line of research is formal approaches to testing. He is a member of the IEEE SMC Technical Committee on Computational Collective Intelligence, the Board of Directors of the Tarot Summer School on Software Testing and the A-MOST, DISCOTEC and ICCCI Steering Committees.