activity
20032023
most citedReplay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies

15 citations · 16 across the 6 of their papers we have counts for

collaborators

8 papers

cs.SE2023

Exploring Behaviours of RESTful APIs in an Industrial Setting

Stefan Karlsson, Robbert Jongeling, Adnan Causevic +1

A common way of exposing functionality in contemporary systems is by providing a Web-API based on the REST API architectural guidelines. To describe REST APIs, the industry standar…

cs.SE2023

Exploring API Behaviours Through Generated Examples

Stefan Karlsson, John Hughes, Robbert Jongeling +2

Understanding the behaviour of a system's API can be hard. Giving users access to relevant examples of how an API behaves has been shown to make this easier for them. In addition,…

cs.SE2020

Automatic Property-based Testing of GraphQL APIs

Stefan Karlsson, Adnan Čaušević, Daniel Sundmark

In recent years, GraphQL has become a popular way to expose web APIs. With its raise of adoption in industry, the quality of GraphQL APIs must be also assessed, as with any part of…

cs.SE2020

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

Stefan Karlsson, Adnan Čaušević, Daniel Sundmark +1

Automatic testing of mobile applications has been a well-researched area in recent years. However, testing in industry is still a very manual practice, as research results have not…

cs.SE2020

Intermittently Failing Tests in the Embedded Systems Domain

Per Erik Strandberg, Thomas J Ostrand, Elaine J Weyuker +2

Software testing is sometimes plagued with intermittently failing tests and finding the root causes of such failing tests is often difficult. This problem has been widely studied a…

cs.SE2019

QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs

Stefan Karlsson, Adnan Causevic, Daniel Sundmark

RESTful APIs are an increasingly common way to expose software systems functionality and it is therefore of high interest to find methods to automatically test and verify such APIs…