%0 Conference Paper %1 conf/fortest/VilkomirB08 %A Vilkomir, Sergiy A. %A Bowen, Jonathan P. %B Formal Methods and Testing %D 2008 %E Hierons, Robert M. %E Bowen, Jonathan P. %E Harman, Mark %I Springer %K dblp %P 240-270 %T From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. %U http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html#VilkomirB08 %V 4949 %@ 978-3-540-78916-1

@inproceedings{conf/fortest/VilkomirB08, added-at = {2018-11-14T00:00:00.000+0100}, author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2e05a1644fcb9b0f96ec456627631c289/dblp}, booktitle = {Formal Methods and Testing}, crossref = {conf/fortest/2008}, editor = {Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark}, ee = {https://www.wikidata.org/entity/Q56939734}, interhash = {c7e13f0a8077fae788e8cd2d85eefc1a}, intrahash = {e05a1644fcb9b0f96ec456627631c289}, isbn = {978-3-540-78916-1}, keywords = {dblp}, pages = {240-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:10:36.000+0200}, title = {From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.}, url = {http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html#VilkomirB08}, volume = 4949, year = 2008 }