Automatic test case generation for PLC programs using coverage metrics. - Hendrik Simon; Nico Friedrich; Sebastian Biallas; Stefan Hauck-Stattelmann; Bastian Schlich; Stefan Kowalewski (ETFA, 2015)

Concolic test generation for PLC programs using coverage metrics. - Dimitri Bohlender; Hendrik Simon; Nico Friedrich; Stefan Kowalewski; Stefan Hauck-Stattelmann (WODES, 2016)