Automatic test case generation for PLC programs using coverage metrics | IEEE Conference Publication | IEEE Xplore