BibTeX record journals/jrnal/KatayamaHKYAO19

download as .bib file

@article{DBLP:journals/jrnal/KatayamaHKYAO19,
  author    = {Tetsuro Katayama and
               Futa Hirakoba and
               Yoshihiro Kita and
               Hisaaki Yamaba and
               Kentaro Aburada and
               Naonobu Okazaki},
  title     = {Application of Pairwise Testing into {BWDM} which is a Test Case Generation
               Tool for the {VDM++} Specification},
  journal   = {J. Robotics Netw. Artif. Life},
  volume    = {6},
  number    = {3},
  pages     = {143--147},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics