%0 Journal Article %1 journals/fac/VilkomirB06 %A Vilkomir, Sergiy A. %A Bowen, Jonathan P. %D 2006 %J Formal Aspects Comput. %K dblp %N 1 %P 42-62 %T From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. %U http://dblp.uni-trier.de/db/journals/fac/fac18.html#VilkomirB06 %V 18

@article{journals/fac/VilkomirB06, added-at = {2022-05-09T00:00:00.000+0200}, author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2228717578597c06070ffe6f4b6d7ed88/dblp}, ee = {https://www.wikidata.org/entity/Q56939807}, interhash = {e236b66175955b852703157ec03e7513}, intrahash = {228717578597c06070ffe6f4b6d7ed88}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {42-62}, timestamp = {2024-04-09T05:37:23.000+0200}, title = {From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac18.html#VilkomirB06}, volume = 18, year = 2006 }