Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).

Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang

Browse the full SEKE paper archive.