Symbolic execution of programmable logic controller code


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… (More)
DOI: 10.1145/3106237.3106245
View Slides


Cite this paper

@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} }