Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
Vilkomir,, Sergiy A., and Bowen,, Jonathan P.. ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B, page 291–308. London and UK, Springer-Verlag, (2002)
%0 Conference Paper
%1 VilkomirSergiyA..2002
%A Vilkomir,, Sergiy A.,
%A Bowen,, Jonathan P.,
%B ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
%C London and UK
%D 2002
%I Springer-Verlag
%K Informatik
%P 291–308
%T Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
@inproceedings{VilkomirSergiyA..2002,
added-at = {2013-10-18T15:42:49.000+0200},
address = {London and UK},
author = {{Vilkomir,, Sergiy A.} and {Bowen,, Jonathan P.}},
biburl = {https://www.bibsonomy.org/bibtex/2e88a61c746df2759677275ccb9d7f9e2/hlackner},
booktitle = {ZB ’02: Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B},
interhash = {0da0fa40ebabdfbd8ee22a061e152579},
intrahash = {e88a61c746df2759677275ccb9d7f9e2},
keywords = {Informatik},
pages = {291–308},
publisher = {Springer-Verlag},
timestamp = {2013-10-18T15:42:49.000+0200},
title = {Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing},
year = 2002
}
