Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing (2002)

by Sergiy A. Vilkomir , Jonathan P. Bowen
Venue:ZB2002: Formal Specification and Development in Z and B, Proceedings of 2nd International Conference of B and Z Users
Citations:9 - 3 self