21 citations · 26 across the 5 of their papers we have counts for
6 papers
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,…
Towards Energy Efficient Autonomous Exploration of Mars Lava Tube with a Martian Coaxial Quadrotor
Akash Patel, Samuel Karlsson, Bjorn Lindqvist +3
Mapping and exploration of a Martian terrain with an aerial vehicle has become an emerging research direction, since the successful flight demonstration of the Mars helicopter Inge…
Galactic Cosmic Rays at Mars and Venus: Temporal Variations from Hours to Decades Measured as the Background Signal of Onboard Micro-Channel Plates
Yoshifumi Futaana, Manabu Shimoyama, Martin Wieser +8
A Micro-Channel Plate (MCP) is a widely used component for counting particles in space. Using the background counts of MCPs on Mars Express and Venus Express orbiters operated over…
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…
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…
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…