Software Testing Laboratory

Focus:

Quality assurance and testing of embedded software and systems.


The Software Testing Laboratory (STL) focuses on contemporary and future challenges in testing of embedded software systems, primarily in research projects conducted in close collaboration with industrial partners. 

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. In short, we develop, refine, and evaluate methods, theories and tools for testing of industrial software systems.

The objectives of STL are to improve the current body of knowledge in software testing, and to disseminate our results with the broader research community as well as with our industrial partners. To achieve this, we regularly publish in the main software testing venues, try to keep an open mind, and continuously engage in diverse academic and industrial collaboration

Project TitleStatus
ADEPTNESS - Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems active
AIDOaRt - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems active
ARRAY ++, Automation Region Research Academy active
ARRAY - Automation Region Research Academy active
CEST - Commissioned Education in Software Testing active
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development active
Software Center active
Software Center: Aspects of Automated Testing active
VeriDevOps - Automated Protection and Prevention to Meet Security Requirements in DevOps Environments active
Volvo Group Arena active
Adequacy-based Testing of Extra-Functional Properties of Embedded Systems (VR) finished
AGENTS - Automated Generation of Tests for Simulated Software Systems (KKS) finished
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova) finished
ESS-H - Embedded Sensor Systems for Health Research Profile finished
EXACT - Experimental Analysis of the Coupling Effect Hypothesis in Software Testing finished
IMPRINT - Innovative Model-Based Product Integration Testing (Vinnova) finished
ITS-EASY Post Graduate School for Embedded Software and Systems finished
Less Bugs finished
MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova) finished
MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova) finished
PROMPT - Professional Master’s in Software Engineering (step II) finished
SWELL - Swedish V&V Excellence finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
TESTMINE - Mining Test Evolution for Improved Software Regression Test Selection (KKS) finished
TESTOMAT Project - The Next Level of Test Automation finished
TOCSYC - Testing of Critical System Characteristics (KKS) finished
TRUSTCM - TRUSTed decision-making system for Cognitive Manufacturing finished
XIVT - eXcellence in Variant Testing finished

[Show all publications]

An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems (May 2023)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
19th Workshop on Advances in Model Based Testing (A-MOST 2023)

Time Series Anomaly Detection using Convolutional Neural Networks in the Manufacturing Process (May 2023)
Cristina Landin, Jie Liu , Sahar Tahvili
The 5th IEEE International Conference on Artificial Intelligence Testing (AITEST 2023) (AITest 2023)

Retrieving arXiv, SocArXiv, and SSRN metadata for initial review screening Author links open overlay panel (May 2023)
Rubia Fatima , Affan Yasin , Lin Liu , Jianmin Wang , Wasif Afzal
Information and Software Technology (2022) (IST)

An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software (Apr 2023)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023)

Requirement or Not, That is the Question: A Case from the Railway Industry (Apr 2023)
Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand , Eduard Paul Enoiu, Markus Bohlin, Pernilla Lindberg
Requirements Engineering: Foundation for Software Quality (REFSQ 2023)

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator (Apr 2023)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)



Wasif Afzal, Professor

Room: U1-138
Phone: +46 21107393