Research

Our team conducts research in the following areas:

• Model-Based Testing
• Machine Learning-Based Test Data Generation
• Search-Based Software Testing
• Empirical Software Engineering
• Software Product Line Engineering
• Evolutionary Computation
• Cyber-Physical Systems

Some of the research projects our team members have been involved in include:

• “A Model-Based Approach to Generate Dynamic Synthetic Test Data” – Industrial PhD project, University of Oslo
• “Simulation-Based Testing of Highly Configurable Cyber-Physical Systems: Automation, Optimization and Debugging” – Mondragon University, Spain
• “Automated Model-Based Testing with ecFeed PRO” – Skattefunn 2019 – Research Council of Norway
• “Automated Model-Based Testing with ecFeed” – Skattefunn 2017–2018 – Research Council of Norway
• “Approaches for Test Oracle Generation in ecFeed” – Support Scheme for Regional R&D and Innovation (VRI), 2017 – Simula Research Laboratory

Testify team members contribute to the organization of conferences worldwide, both in academia and industry. Here are our most recent activities:

• 2021: Hager Debech & Minh Nguyen – Member of Organizing Committee – ODIN 2021
• 2020: Hager Debech & Minh Nguyen – Member of Organizing Committee – ODIN 2020
• 2019: Hager Debech & Minh Nguyen – Member of Organizing Committee – ODIN 2019
• 2019: Minh Nguyen – Program Chair – ODIN 2019
• 2019: Shuai Wang – Program Chair & Member of Program Committee – 15th Workshop on Advances in Model-Based Testing (A-MOST) 2019
• 2012: Erik Arisholm – Member of Program Committee – IEEE International Conference on Software Testing 2012
• Minh Nguyen – Board Member – DND Software Testing Østlandet

Testify collaborates with universities and research institutions. Some of the topics and partners include:

• Shuai Wang & Mondragon University, Spain (Aitor Arrieta, lecturer/researcher) – Highly Configurable Cyber-Physical System Testing
• Testify & Simula Research Laboratory – Approaches for Test Oracle Generation in ecFeed

Testify team members produce research published in various conferences and academic journals. Here is a list of recent contributions:

We regularly present at conferences, seminars, workshops, and other events. Below is a list of recent presentations delivered by Testify team members: