16 citations · 37 across the 24 of their papers we have counts for
5 papers · 1 filter
Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry
Markus Borg, Cristofer Englund, Krzysztof Wnuk +7
Deep Neural Networks (DNN) will emerge as a cornerstone in automotive software engineering. However, developing systems with DNNs introduces novel challenges for safety assessments…
Practical relevance of software engineering research: Synthesizing the community's voice
Vahid Garousi, Markus Borg, Markku Oivo
Software engineering (SE) research should be relevant to industrial practice. There have been regular discussions in the SE community on this issue since the 1980's, led by pioneer…
Enabling Visual Design Verification Analytics - From Prototype Visualizations to an Analytics Tool using the Unity Game Engine
Markus Borg, Daniel Brytting, Daniel Hansson
The ever-increasing architectural complexity in contemporary ASIC projects turns Design Verification (DV) into a highly advanced endeavor. Pressing needs for short time-to-market h…
Goal-Oriented Mutation Testing with Focal Methods
Sten Vercammen, Mohammad Ghafari, Serge Demeyer +1
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources…
Digitalization of Swedish Government Agencies - A Perspective Through the Lens of a Software Development Census
Markus Borg, Thomas Olsson, Ulrik Franke +1
Software engineering is at the core of the digitalization of society. Ill-informed decisions can have major consequences, as made evident in the 2017 government crisis in Sweden, o…