BibTeX record conf/issta/DavidBFMPTM16

download as .bib file

@inproceedings{DBLP:conf/issta/DavidBFMPTM16,
  author    = {Robin David and
               S{\'{e}}bastien Bardin and
               Josselin Feist and
               Laurent Mounier and
               Marie{-}Laure Potet and
               Thanh Dinh Ta and
               Jean{-}Yves Marion},
  title     = {Specification of concretization and symbolization policies in symbolic
               execution},
  booktitle = {{ISSTA}},
  pages     = {36--46},
  publisher = {{ACM}},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics