Towards learning and verifying invariants of cyber-physical systems by code mutation

• Main Authors: CHEN, Yuqi, POSKITT, Christopher M., SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Support Vector Machine; Sensor Data; Water Treatment Plant; Mutation Testing; Programmable Logic Controller; Software Engineering; Theory and Algorithms
• Online Access: https://ink.library.smu.edu.sg/sis_research/4938; https://ink.library.smu.edu.sg/context/sis_research/article/5941/viewcontent/towards_learning.pdf
• Institution: Singapore Management University

Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to costly consequences, especially in the context of public inf...