Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin | IEEE Conference Publication | IEEE Xplore