BibTeX record conf/kbse/AlatawiSM17

download as .bib file

@inproceedings{DBLP:conf/kbse/AlatawiSM17,
  author    = {Eman Alatawi and
               Harald S{\o}ndergaard and
               Tim Miller},
  title     = {Leveraging abstract interpretation for efficient dynamic symbolic
               execution},
  booktitle = {{ASE}},
  pages     = {619--624},
  publisher = {{IEEE} Computer Society},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics