[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Concolic test generation for PLC programs using coverage metrics
Bohlender, Dimitri, Simon, Hendrik, Friedrich, Nico, Kowalewski, Stefan, Hauck-Stattelmann, StefanYear:
2016
Language:
english
DOI:
10.1109/WODES.2016.7497884
File:
PDF, 209 KB
english, 2016