Model-driven functional testing of cyber-physical systems using deterministic replay techniques

Vasiliy Pinkevich, Alexey Platunov. Model-driven functional testing of cyber-physical systems using deterministic replay techniques. In IEEE Industrial Cyber-Physical Systems, ICPS 2018, Saint Petersburg, Russia, May 15-18, 2018. pages 141-146, IEEE, 2018. [doi]

Abstract

Abstract is missing.