BibTeX record conf/apsec/ZhouSLCD14

download as .bib file

@inproceedings{DBLP:conf/apsec/ZhouSLCD14,
  author       = {Tingliang Zhou and
                  Haiying Sun and
                  Jing Liu and
                  Xiaohong Chen and
                  Dehui Du},
  editor       = {Sungdeok (Steve) Cha and
                  Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
                  Gihwon Kwon},
  title        = {Improving Testing Coverage for Safety-Critical System by Mutated Specification},
  booktitle    = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
                  South Korea, December 1-4, 2014. Volume 1: Research Papers},
  pages        = {43--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/APSEC.2014.15},
  doi          = {10.1109/APSEC.2014.15},
  timestamp    = {Thu, 23 Mar 2023 23:58:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/ZhouSLCD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics