Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges

Authors

  • Anila Mjeda Lero- The Irish Software Research Centre
  • Goetz Botterweck Lero- The Irish Software Research Centre

DOI:

https://doi.org/10.14279/tuj.eceasst.77.1111

Abstract

In this position paper, we argue that more collaborative research is needed
to increase the use of research-led verification and testing techniques in industrial-scale projects. We focus on the a) practical applicability and scalability of verification and testing techniques in industrial projects, and b) to autonomous systems. We identify the challenges involved and bring forward some initial suggestions.

Downloads

Published

2019-10-21

How to Cite

[1]
A. Mjeda and G. Botterweck, “Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges”, eceasst, vol. 77, Oct. 2019.

Issue

Vol. 77 (2019): Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)

Section

Articles

License

Copyright (c) 2019 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.