BibTeX record conf/issre/SasakiMKM12

download as .bib file

@inproceedings{DBLP:conf/issre/SasakiMKM12,
  author       = {Yusuke Sasaki and
                  Yoshiharu Maeda and
                  Kenichi Kobayashi and
                  Akihiko Matsuo},
  title        = {Applying Test Data Generation Using {SMT} Solver to {COBOL}},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {82},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.18},
  doi          = {10.1109/ISSREW.2012.18},
  timestamp    = {Sat, 30 Sep 2023 09:50:50 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/SasakiMKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics