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]

@inproceedings{BohlenderSFKH16,
  title = {Concolic test generation for PLC programs using coverage metrics},
  author = {Dimitri Bohlender and Hendrik Simon and Nico Friedrich and Stefan Kowalewski and Stefan Hauck-Stattelmann},
  year = {2016},
  doi = {10.1109/WODES.2016.7497884},
  url = {http://dx.doi.org/10.1109/WODES.2016.7497884},
  researchr = {https://researchr.org/publication/BohlenderSFKH16},
  cites = {0},
  citedby = {0},
  pages = {432-437},
  booktitle = {13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016},
  editor = {Christos G. Cassandras and Alessandro Giua and Zhiwu Li},
  publisher = {IEEE},
  isbn = {978-1-5090-4190-9},
}