Text
Stefan Karlsson
I am a Senior Software Engineer at ABB and an Industrial Ph.D. student at Mälardalens University. I have an MSc. in Computer Science and Computer Engineering. After completing my education, I have worked as a professional software engineer for close to two decades, spanning several different areas.
About Stefan's thesis
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.
Stefan's publications
Licentiate Thesis
Towards Augmented Exploratory Testing (2021)
S Karlsson
Mälardalen University
Conference/Workshop Paper
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs (Oct 2020)
External link.Stefan Karlsson External link., Adnan Causevic External link., Daniel Sundmark External link.IEEE 13th International Conference on Software Testing, Validation and Verification (ICST2020)
Exploratory test agents for stateful software systems (Aug 2019) External link.Stefan Karlsson External link.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)
