Work

Static Code Analysis of IEC 61131–3 ST Programs via Symbolic Execution

Year: 2024

Type: conference-paper

Source: Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics

DOI: 10.1109/smc54092.2024.10831127

Authors: Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang

Institution: East China Normal University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4406611726

FWCI: 0.276

Cites: 15

Cited by: 1

Related to: 10