Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.

Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi

Browse the full APSEC paper archive.