Symbolic execution of programmable logic controller code

  title={Symbolic execution of programmable logic controller code},
  author={Shengjian Guo and Meng Da Wu and Chao Wang},
  booktitle={ESEC/SIGSOFT FSE},
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

Similar Papers

Loading similar papers…