Symbolic execution of programmable logic controller code

@inproceedings{Guo2017SymbolicEO,
  title={Symbolic execution of programmable logic controller code},
  author={Shengjian Guo and Meng Wu and Chao Wang},
  booktitle={ESEC/SIGSOFT FSE},
  year={2017}
}
Programmable logic controllers (PLCs) are specialized computers for automating a wide range of cyber-physical systems. Since these systems are often safety-critical, software running on PLCs need to be free of programming errors. However, automated tools for testing PLC software are lacking despite the pervasive use of PLCs in industry. We propose a symbolic execution based method, named SymPLC, for automatically testing PLC software written in programming languages specified in the IEC 61131-3… CONTINUE READING
3 Citations
3 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…