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