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