1.Automated Testcase Generationand Execution from ModelsDharmalingam Ganesan, Mikael Lindvall, Christoph SchulzeSoftware Architecture and Embedded Systems Division Fraunhofer…