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: Computer and Systems Architecture; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4909; https://ink.library.smu.edu.sg/context/sis_research/article/5912/viewcontent/Chen_Poskitt_Sun.FM.2016.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...