Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro. Testing Environment for CPS by Cooperating Model Checking with Execution Testing. In Robert J. Howlett, Lakhmi C. Jain, Bogdan Gabrys, Carlos Toro 0001, Chee Peng Lim, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, York, UK, 5-7 September 2016. Volume 96 of Procedia Computer Science, pages 1341-1350, Elsevier, 2016. [doi]
Abstract is missing.