BibTeX record journals/jrnal/KatayamaTKYAO17

download as .bib file

@article{DBLP:journals/jrnal/KatayamaTKYAO17,
  author       = {Tetsuro Katayama and
                  Hiroki Tachiyama and
                  Yoshihiro Kita and
                  Hisaaki Yamaba and
                  Kentaro Aburada and
                  Naonobu Okazaki},
  title        = {{BWDM:} Test Cases Automatic Generation Tool Based on Boundary Value
                  Analysis with {VDM++}},
  journal      = {J. Robotics Netw. Artif. Life},
  volume       = {4},
  number       = {2},
  pages        = {110--113},
  year         = {2017},
  url          = {https://doi.org/10.2991/jrnal.2017.4.2.1},
  doi          = {10.2991/JRNAL.2017.4.2.1},
  timestamp    = {Wed, 20 May 2020 21:33:25 +0200},
  biburl       = {https://dblp.org/rec/journals/jrnal/KatayamaTKYAO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics