Mjeda, A.; Botterweck, G. Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges. ECEASST 2019, 77.