BibTeX record conf/wodes/BohlenderSFKH16

download as .bib file

@inproceedings{DBLP:conf/wodes/BohlenderSFKH16,
  author    = {Dimitri Bohlender and
               Hendrik Simon and
               Nico Friedrich and
               Stefan Kowalewski and
               Stefan Hauck{-}Stattelmann},
  title     = {Concolic test generation for {PLC} programs using coverage metrics},
  booktitle = {{WODES}},
  pages     = {432--437},
  publisher = {{IEEE}},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics