Finding causally different tests for an industrial control system

• Main Authors: POSKITT, Christopher M., CHEN, Yuqi, SUN, Jun, JIANG, Yu
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: Cyber-physical systems; fuzzing; test diversity; equivalence classes; causality; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7952; https://ink.library.smu.edu.sg/context/sis_research/article/8955/viewcontent/causal_fuzzing_icse23.pdf
• Institution: Singapore Management University

Industrial control systems (ICSs) are types of cyber-physical systems in which programs, written in languages such as ladder logic or structured text, control industrial processes through sensing and actuating. Given the use of ICSs in critical infrastructure, it is important to test their resilienc...