%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 Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to %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 = {2011-08-01T19:42:21.000+0200}, author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2e05a1644fcb9b0f96ec456627631c289/jpbowen}, booktitle = {Formal Methods and Testing}, crossref = {conf/fortest/2008}, description = {dblp}, editor = {Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark}, ee = {http://dx.doi.org/10.1007/978-3-540-78917-8_8}, interhash = {c7e13f0a8077fae788e8cd2d85eefc1a}, intrahash = {e05a1644fcb9b0f96ec456627631c289}, isbn = {978-3-540-78916-1}, keywords = {Analysis Control-Flow Criteria Formalization MC/DC RC/DC: Testing engineering formal methods myown software to}, pages = {240-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-01T19:42:21.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 }