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|
|IMPRINT - Innovative Model-Based Product Integration Testing (Vinnova)||active|
|ITS-EASY Post Graduate School for Embedded Software and Systems||active|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||active|
|TESTMINE - Mining Test Evolution for Improved Software Regression Test Selection (KKS)||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|
|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|
Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading (Apr 2017) Bestoun Ahmed , Luca Gambardella , Wasif Afzal, Kamal Zamli Information and Software Technology (IST)
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software (Mar 2017) Henning Bergström , Eduard Paul Enoiu 6th International Workshop on Combinatorial Testing (IWCT'17)
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017) Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software (Mar 2017) Sara Abbaspour Asadollah, Daniel Sundmark, Hans Hansson ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017) Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson International Conference on Software Testing, Verification and Validation (ICST 2017)