Software Testing Laboratory

Focus:

Testing of embedded software, empirical studies of software testing, test automation, model-based testing.


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

[Show all publications]

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software (Aug 2018)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
17th IEEE International Symposium on Parallel and Distributed Computing ( ISPDC-2018)

Towards a More Reliable Store-and-forward Protocol for Mobile Text Messages (Jul 2018)
Daniel Brahneborg, Wasif Afzal, Adnan Causevic, Mats Björkman
1st International Workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, co-located with ACM Symposium on Principles of Distributed Computing (PODC 2018) (ApPLIED 2018)

From Natural Language Requirements to Passive Test Cases using Guarded Assertions (Jul 2018)
Daniel Flemström, Eduard Paul Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson , Avenir Kobetski
The 18th IEEE International Conference on Software Quality, Reliability and Security (QRS18)

Combinatorial Modeling and Test Case Generation for Industrial Control Software using ACTS (Jul 2018)
Sara Ericsson , Eduard Paul Enoiu
The 18th IEEE International Conference on Software Quality, Reliability and Security (QRS18)

Automated Test Mapping and Coverage for Network Topologies (Jul 2018)
Per Erik Strandberg, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Wasif Afzal
International Symposium on Software Testing and Analysis (ISSTA'18)

Functional Dependency Detection for Integration Test Cases (Jul 2018)
Sahar Tahvili, Marcus Ahlberg , Eric Fornander , Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Mahdi Sarabi
The 18th IEEE International Conference on Software Quality, Reliability and Security (QRS18)


Daniel Sundmark, Professor

Room: U1-063
Phone:


Wasif Afzal, Associate Professor

Room: U1-138
Phone: +46 21107393