Model-based testing of embedded software, empirical studies of software testing, and test automation.
The software testing laboratory (STL) at MDH focuses on industry-relevant research in software testing. In our research, we develop, refine, and evaluate methods, theories and tools for testing of complex software-intensive systems.
With an emphasis on method and tool development, as well as industrial and practical real life case studies, our research focus includes (but is not limited to) test design, model-based testing, search-based software testing, decision-support for software testing, and test automation.
The objectives of STL are to improve the current state-of-the-art in software testing, to share our results with the broader research community, to actively seek academic and industrial collaboration, and to transfer results and knowledge for industrial adoption.
|First Name||Last Name||Title|
|Daniel||Brahneborg||Industrial Doctoral Student|
|Eduard Paul||Enoiu||Post Doc|
|Per||Strandberg||Industrial Doctoral Student|
|Sahar||Tahvili||Industrial Doctoral Student|
|Sara||Abbaspour Asadollah||Doctoral student|
|Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR)||active|
|CEST - Commissioned Education in Software Testing||active|
|ESS-H - Embedded Sensor Systems for Health Research Profile||active|
|EXACT - Experimental Analysis of the Coupling Effect Hypothesis in Software Testing||active|
|ITS-EASY Post Graduate School for Embedded Software and Systems||active|
|MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova)||active|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||active|
|TESTMINE - Mining Test Evolution for Improved Software Regression Test Selection (KKS)||active|
|TESTOMAT Project - The Next Level of Test Automation||active|
|TOCSYC - Testing of Critical System Characteristics (KKS)||active|
|AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS)||finished|
|ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova)||finished|
|IMPRINT - Innovative Model-Based Product Integration Testing (Vinnova)||finished|
|MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)||finished|
|PROMPT - Professional Master’s in Software Engineering (step II)||finished|
|SWELL - Swedish V&V Excellence||finished|
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017) Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu 29th Nordic Workshop on Programming Theory (NWPT'17)
A Practical Approach towards Validating HIL Simulation of a Safety-critical System (Oct 2017) Athanasios Stratis , Adnan Causevic The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)
Comparing Automated Visual GUI Testing Tools: An Industrial Case Study (Sep 2017) Vahid Garousi , Wasif Afzal, Adem Çağlar , İhsan Berk Işık , Berker Baydan , Seçkin Çaylak , Ahmet Zeki Boyraz , Burak Yolaçan , Kadir Herkiloğlu The 8th ACM SIGSOFT International Workshop on Automated Software Testing (A-TEST'17)
Towards Execution Time Prediction for Test Cases from Test Specification (Aug 2017) Sahar Tahvili, Mehrdad Saadatmand, Markus Bohlin, Wasif Afzal, Sharvathul Hasan Ameerjan 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)
The MegaM@Rt2 ECSEL Project–MegaModelling at Runtime–Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems (Aug 2017) Wasif Afzal, Hugo Bruneliere , Davide Di Ruscio , Andrey Sadovykh , Silvia Mazzini , Eric Cariou , Dragos Truscan , Jordi Cabot , Daniel Field , Luigi Pomante , Pavel Smrz The 2017 Euromicro Conference on Digital System Design (DSD'17)
Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study (Aug 2017) Saad Mubeen, Sara Abbaspour Asadollah, Alessandro Papadopoulos, Mohammad Ashjaei, Hongyu Pei-Breivold, Moris Behnam Journal of IEEE Access (ACCESS'17)