%0 Conference Paper %1 conf/setta/AhishakiyeJKS21 %A Ahishakiye, Faustin %A Jarabo, José Ignacio Requeno %A Kristensen, Lars Michael %A Stolz, Volker %B SETTA %D 2021 %E Qin, Shengchao %E Woodcock, Jim %E Zhang, Wenhui %I Springer %K dblp %P 178-197 %T MC/DC Test Cases Generation Based on BDDs. %U http://dblp.uni-trier.de/db/conf/setta/setta2021.html#AhishakiyeJKS21 %V 13071 %@ 978-3-030-91265-9

@inproceedings{conf/setta/AhishakiyeJKS21, added-at = {2024-06-11T00:00:00.000+0200}, author = {Ahishakiye, Faustin and Jarabo, José Ignacio Requeno and Kristensen, Lars Michael and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/246bfd5652cc3f56979347135e78b269b/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2021}, editor = {Qin, Shengchao and Woodcock, Jim and Zhang, Wenhui}, ee = {https://doi.org/10.1007/978-3-030-91265-9_10}, interhash = {af94e983817768635114b355511426d5}, intrahash = {46bfd5652cc3f56979347135e78b269b}, isbn = {978-3-030-91265-9}, keywords = {dblp}, pages = {178-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:44:44.000+0200}, title = {MC/DC Test Cases Generation Based on BDDs.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2021.html#AhishakiyeJKS21}, volume = 13071, year = 2021 }