%0 Journal Article %1 journals/fac/VilkomirB06 %A Vilkomir, Sergiy A. %A Bowen, Jonathan P. %D 2006 %J Formal Asp. Comput. %K MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing %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 = {2011-08-01T22:07:07.000+0200}, author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2128b7351d96eed807c396a5d34b7e074/jpbowen}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s00165-005-0084-7}, interhash = {e236b66175955b852703157ec03e7513}, intrahash = {128b7351d96eed807c396a5d34b7e074}, journal = {Formal Asp. Comput.}, keywords = {MC/DC RC/DC analysis control-flow criteria engineering formal formalization methods myown software testing}, number = 1, pages = {42-62}, timestamp = {2011-08-01T22:07:07.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 }