Stefan Karlsson

In my research, I focus on supporting developers in better understanding complex software-intensive systems. Currently, the primary way of doing so has been to use automatic example-generation approaches. The generated examples help users understand their systems. In addition, the generated examples can be used to show faults, as well as a basis for user documentation, and testing.

Licentiate Thesis

Towards Augmented Exploratory Testing (2021)

S Karlsson

Mälardalen University

Journal article

Exploring behaviours of RESTful APIs in an industrial setting (Jul 2024)
Stefan Karlsson, Robbert Jongeling, Adnan Causevic, Daniel Sundmark
Software Quality Journal (Springer) (SQJ)

Exploring API behaviours through generated examples (Apr 2024)
Stefan Karlsson, John Hughes , Robbert Jongeling, Adnan Causevic, Daniel Sundmark
Software Quality Journal (Springer) (SQJ)

Conference/Workshop Paper

QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs (Oct 2020)
Stefan Karlsson, Adnan Causevic, Daniel Sundmark
IEEE 13th International Conference on Software Testing, Validation and Verification (ICST2020)

Exploratory test agents for stateful software systems (Aug 2019)
Stefan Karlsson
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)

Automatic Property-based Testing of GraphQL APIs (2021)

S Karlsson, A Čaušević, D Sundmark

2021 IEEE/ACM International Conference on Automation of Software Test

Model-based Automated Testing of Mobile Applications: An Industrial Case Study (2021)

Stefan Karlsson, Adnan Čaušević, Daniel Sundmark, Mårten Larsson

2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)