{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:21:40Z","timestamp":1737091300612,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_15","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"291-308","source":"Crossref","is-referenced-by-count":18,"title":["Reinforced Condition\/Decision Coverage (RC\/DC): A New Criterion for Software Testing"],"prefix":"10.1007","author":[{"given":"Sergiy A.","family":"Vilkomir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan P.","family":"Bowen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"15_CR1","unstructured":"Bowen, J. P. Z:Aformal specification notation. In M. Frappier and H. Habrias (eds.), Software Specification Methods: An Overview Using a Case Study, Chapter 1. Springer-Verlag, FACIT series, 2001, pp. 3\u201319."},{"key":"15_CR2","unstructured":"Burton, S. Towards Automated Unit Testing of Statechart Implementations. Technical Report YCS319, Department of Computer Science, University of York, UK. September 1999."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Chapman, R. Industrial Experience with SPARK. Proceedings of ACM SIGAda Annual International Conference (SIGAda 2000), November 12\u201316, 2000, Johns Hopkins University\/Applied Physics Laboratory, Laurel, MD, USA.","DOI":"10.1145\/369264.369270"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Chilenski, J. and Miller, S. Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal, September 1994, pp. 193\u2013200.","DOI":"10.1049\/sej.1994.0025"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Chilenski, J. and Newcomb, P. H. Formal specification tool for test coverage analysis. Proceedings of the Ninth Knowledge-Based Software Engineering Conference, September 20-23, 1994, pp. 59\u201368.","DOI":"10.1109\/KBSE.1994.342677"},{"key":"15_CR6","unstructured":"DeWalt, M. MCDC. A blistering love\/hate relationship. FAA National Software Conference, Long Beach, CA, USA, April 6\u20139, 1999."},{"key":"15_CR7","unstructured":"Dolman, B. Definition of Statement Coverage, Decision Coverage and Modified Condition Decision Coverage. WG-52\/SC-190 Discussion paper. Paper reference: D004, revision 1. Draft, September 25, 2000."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Dupuy, A. and Leveson, N. An empirical evaluation of the MC\/DC coverage criterion on the HETE-2 satellite software. Proceedings of the Digital Aviation Systems Conference (DASC), Philadelphia, USA, October 2000.","DOI":"10.1109\/DASC.2000.886883"},{"key":"15_CR9","unstructured":"Hayhurst, K. J., Veerhusen, D. S., Chilenski, J. J., and Rierson, L. K. A Practical Tutorial on Modified Condition\/Decision Coverage, Report NASA\/TM-2001-210876, NASA, USA, May 2001."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Jasper, R., Brennan, M., Williamson, K., Currier, B., and Zimmerman, D. Test data generation and feasible path analysis. Proceedings of the 1994 International Symposium on Software Testing and Analysis, Seattle,WA, USA, August 17\u201319, 1994, pp. 95\u2013107.","DOI":"10.1145\/186258.187150"},{"key":"15_CR11","unstructured":"Jia, X. ZTC:AType Checker for Z Notation. User\u2019s Guide.Version 2.03, August 1998. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, USA, 1998."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Li, Y. Y. Structural test cases analysis and implementation. 42nd Midwest Symposium on Circuits and Systems, 8-11 August, 1999, Volume 2, pp. 882\u2013885.","DOI":"10.1109\/MWSCAS.1999.867776"},{"key":"15_CR13","unstructured":"Myers, G. The Art of Software Testing.Wiley-Interscience, 1979."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Offutt, A. J., Xiong, Y., and Liu, S. Criteria for generating specification-based tests. Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS\u201999), Las Vegas, Nevada, USA, October 18\u201321, 1999, pp. 119\u2013129.","DOI":"10.1109\/ICECCS.1999.802856"},{"key":"15_CR15","unstructured":"Roper, M. Software Testing. McGraw-Hill, 1994."},{"key":"15_CR16","volume-title":"Software Considerations in Airborne Systems and Equipment Certification","author":"RTCA\/DO-178B.","year":"1992","unstructured":"RTCA\/DO-178B. Software Considerations in Airborne Systems and Equipment Certification, RTCA, Washington DC, USA, 1992."},{"key":"15_CR17","series-title":"Technical Report","volume-title":"Formalization of Control-flow Criteria of Software Testing","author":"S. A. Vilkomir","year":"2001","unstructured":"Vilkomir, S. A. and Bowen, J. P. Formalization of Control-flow Criteria of Software Testing. Technical Report SBU-CISM-01-01, SCISM, South Bank University, London, UK, January 2001."},{"key":"15_CR18","series-title":"Technical Report","volume-title":"Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems","author":"S. A. Vilkomir","year":"2001","unstructured":"Vilkomir, S. A. and Bowen, J. P. Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems. Technical Report SBU-CISM-01-03, SCISM, South Bank University, London, UK, 2001."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Vilkomir, S. A. and Bowen, J. P. Formalization of software testing criteria using the Z notation, Proceedings of COMPSAC 2001: 25th IEEE Annual International Computer Software and Applications Conference, Chicago, Illinois, USA, 8\u201312 October 2001. IEEE Computer Society Press, 2001, pp. 351\u2013356.","DOI":"10.1109\/CMPSAC.2001.960638"},{"key":"15_CR20","unstructured":"Vilkomir, S. A. and Kharchenko, V. S. Methodology of the Review of Software for Safety Important Systems. Safety and Reliability. Proceedings of ESREL\u201999-The Tenth European Conference on Safety and Reliability, Munich-Garching, Germany, 13\u201317 September 1999, Vol. 1, pp. 593\u2013596."},{"key":"15_CR21","unstructured":"Voznessensky, V. and Berkovich, V. VVER 440 and VVER-1000. Design Features in Comparison with Western PWRS. International Conference on Design and Safety of Advanced Nuclear Power Plants, Tokyo, October 1992, Vol. 4."},{"key":"15_CR22","first-page":"336","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall P. A., and May, H. R. Software unit test coverage and adequacy. ACMComputing Surveys, Vol. 29, No. 4, December 1997, pp. 336\u2013427.","journal-title":"ACMComputing Surveys"}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:35:25Z","timestamp":1737052525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}