BibTeX record journals/tplp/AlbertBGRS13

download as .bib file

@article{DBLP:journals/tplp/AlbertBGRS13,
  author    = {Elvira Albert and
               Maria J. Garc{\'{\i}}a de la Banda and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Jos{\'{e}} Miguel Rojas and
               Peter J. Stuckey},
  title     = {A {CLP} heap solver for test case generation},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5},
  pages     = {721--735},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068413000458},
  doi       = {10.1017/S1471068413000458},
  timestamp = {Sat, 16 Sep 2017 12:03:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlbertBGRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics