%0 Journal Article %1 journals/stvr/KapoorB05 %A Kapoor, Kalpesh %A Bowen, Jonathan P. %D 2005 %J Softw. Test., Verif. Reliab. %K MC/DC RC/DC analysis criteria engineering formal methods myown software test testing %N 1 %P 21-40 %T A formal analysis of MCDC and RCDC test criteria. %U http://dblp.uni-trier.de/db/journals/stvr/stvr15.html#KapoorB05 %V 15

@article{journals/stvr/KapoorB05, added-at = {2011-08-02T00:21:15.000+0200}, author = {Kapoor, Kalpesh and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2295c60a3a90e942172fca72c8f1f8fe1/jpbowen}, description = {dblp}, ee = {http://dx.doi.org/10.1002/stvr.306}, interhash = {abb836906786b08f05fbe701c9961c89}, intrahash = {295c60a3a90e942172fca72c8f1f8fe1}, journal = {Softw. Test., Verif. Reliab.}, keywords = {MC/DC RC/DC analysis criteria engineering formal methods myown software test testing}, number = 1, pages = {21-40}, timestamp = {2011-08-02T00:21:15.000+0200}, title = {A formal analysis of MCDC and RCDC test criteria.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr15.html#KapoorB05}, volume = 15, year = 2005 }