Mjeda, A., & Botterweck, G. (2019). Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges. Electronic Communications of the EASST, 77. https://doi.org/10.14279/tuj.eceasst.77.1111