Recent advances in model-based testing

M Utting, B Legeard, F Bouquet, E Fourneret… - Advances in …, 2016 - Elsevier
This chapter gives an overview of the field of model-based testing (MBT), particularly the
recent advances in the last decade. It gives a summary of the MBT process, the modeling …

A study on challenges of testing robotic systems

A Afzal, C Le Goues, M Hilton… - 2020 IEEE 13th …, 2020 - ieeexplore.ieee.org
Robotic systems are increasingly a part of everyday life. Characteristics of robotic systems
such as interaction with the physical world, and integration of hardware and software …

Towards moral autonomous systems

V Charisi, L Dennis, M Fisher, R Lieck… - arXiv preprint arXiv …, 2017 - arxiv.org
Both the ethics of autonomous systems and the problems of their technical implementation
have by now been studied in some detail. Less attention has been given to the areas in …

Test activities in the continuous integration and delivery pipeline

T Mårtensson, D Ståhl, J Bosch - Journal of Software: Evolution …, 2019 - Wiley Online Library
Based on 25 interviews with participants from four case study companies that develop large‐
scale software embedded systems, this paper presents the Test Activity Stakeholders (TAS) …

Enable more frequent integration of software in industry projects

T Mårtensson, D Ståhl, J Bosch - Journal of Systems and Software, 2018 - Elsevier
Based on interviews with 20 developers from two case study companies that develop large-
scale software-intensive embedded systems, this paper presents twelve factors that affect …

SPSysML: A meta-model for quantitative evaluation of Simulation-Physical Systems

W Dudek, N Miguel, T Winiarski - arXiv preprint arXiv:2303.09565, 2023 - arxiv.org
Robotic systems are complex cyber-physical systems (CPS) commonly equipped with
multiple sensors and effectors. Recent simulation methods enable the Digital Twin (DT) …

Intelligent agent-based stimulation for testing robotic software in human-robot interactions

D Araiza-Illan, AG Pipe, K Eder - Proceedings of the 3rd Workshop on …, 2016 - dl.acm.org
The challenges of robotic software testing extend beyond conventional software testing.
Valid, realistic and interesting tests need to be generated for multiple programs and …

Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions

D Araiza-Illan, D Western, AG Pipe, K Eder - … Sheffield, UK, June 26--July 1 …, 2016 - Springer
Industries such as flexible manufacturing and home care will be transformed by the
presence of robotic assistants. Assurance of safety and functional soundness for these …

Cloud simulation for continuous integration and deployment in robotics

S Teixeira, R Arrais, G Veiga - 2021 IEEE 19th International …, 2021 - ieeexplore.ieee.org
Continuous Integration and Deployment in the robotics domain is still underutilized when
compared to other fields of software development. Also, conventional testing techniques …

AAT4IRS: automated acceptance testing for industrial robotic systems

MG Dos Santos, S Hallé, F Petrillo… - Frontiers in Robotics …, 2024 - frontiersin.org
Industrial robotic systems (IRS) consist of industrial robots that automate industrial
processes. They accurately perform repetitive tasks, replacing or assisting with dangerous …