Test data generation and feasible path analysis
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Z: a formal specification notation
Software specification methods
Art of Software Testing
Software Testing
Formalization of Software Testing Criteria using the Z Notation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
A Practical Tutorial on Modified Condition/Decision Coverage
A Practical Tutorial on Modified Condition/Decision Coverage
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
An industrial case study of structural testing applied to safety-critical embedded software
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Coverage criteria for state based specifications
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Test data variance as a test quality measure: exemplified for TTCN-3
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Observable modified Condition/Decision coverage
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
A new Reinforced Condition/Decision Coverage (RC/DC) criterion for software testing is proposed. This criterion provides further development of the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for testing of safety-critical software. Formal definitions in the Z notation for RC/DC, as well as MC/DC, are presented. Specific examples of using of these criteria are considered and some features are formally proved.