BibTeX record conf/setta/AhishakiyeJKS21

download as .bib file

@inproceedings{DBLP:conf/setta/AhishakiyeJKS21,
  author    = {Faustin Ahishakiye and
               Jos{\'{e}}{-}Ignacio Requeno Jarabo and
               Lars Michael Kristensen and
               Volker Stolz},
  editor    = {Shengchao Qin and
               Jim Woodcock and
               Wenhui Zhang},
  title     = {{MC/DC} Test Cases Generation Based on BDDs},
  booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
               - 7th International Symposium, {SETTA} 2021, Beijing, China, November
               25-27, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13071},
  pages     = {178--197},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-91265-9\_10},
  doi       = {10.1007/978-3-030-91265-9\_10},
  timestamp = {Mon, 03 Jan 2022 22:21:48 +0100},
  biburl    = {https://dblp.org/rec/conf/setta/AhishakiyeJKS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics