BibTeX record conf/icse/BaePR17

download as .bib file

@inproceedings{DBLP:conf/icse/BaePR17,
  author    = {Sora Bae and
               Joonyoung Park and
               Sukyoung Ryu},
  title     = {Partition-Based Coverage Metrics and Type-Guided Search in Concolic
               Testing for JavaScript Applications},
  booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  pages     = {72--78},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017formalise},
  url       = {https://doi.org/10.1109/FormaliSE.2017.10},
  doi       = {10.1109/FormaliSE.2017.10},
  timestamp = {Tue, 12 Feb 2019 15:51:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BaePR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017formalise,
  title     = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7965807},
  isbn      = {978-1-5386-0422-9},
  timestamp = {Mon, 17 Jul 2017 17:32:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics