Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno. Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. In Hiren Patel, Tom J. Kazmierski, Sebastian Steinhorst, editors, 2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018. pages 5-16, IEEE, 2018. [doi]
Abstract is missing.