Concolic test generation for PLC programs using coverage metrics

Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann. Concolic test generation for PLC programs using coverage metrics. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 432-437, IEEE, 2016. [doi]

Authors

Dimitri Bohlender

This author has not been identified. Look up 'Dimitri Bohlender' in Google

Hendrik Simon

This author has not been identified. Look up 'Hendrik Simon' in Google

Nico Friedrich

This author has not been identified. Look up 'Nico Friedrich' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google

Stefan Hauck-Stattelmann

This author has not been identified. Look up 'Stefan Hauck-Stattelmann' in Google