@misc{15056, author = {Shaukat Ali}, title = {Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms}, year = {2018}, journal = {DNV-GL, Trondheim, Norway}, }