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