Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering 2021
DOI: 10.18293/seke2021-105
|View full text |Cite
|
Sign up to set email alerts
|

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S)

Abstract: Since programmable logic controllers (PLCs) control safety-critical infrastructures, examining the PLC software satisfies the high-reliability specifications necessary to ensure the safeness of PLCs. However, prior works have limitations in finding defects in the PLC source code. Static verification techniques suffer from notable false positives without capturing runtime behavior. The symbolic execution and conformance testing technique captures the relations of inputs and outputs. It is not sufficient to cons… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 8 publications
(12 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?