MC/DC Test Case Generation Approaches for Decisions-Reference-Cited by-同舟云学术

MC/DC Test Case Generation Approaches for Decisions

Published:2015-09-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference
language:
Short-container-title:

Author:

Kangoye Sekou¹,Todoskoff Alexis²,BARREAU Mihaela²,GERMANICUS Philippe³

Affiliation:

1. Valeo Comfort and Driving Assistance, 76, rue Auguste Perret, 94000-Creteil, France

2. University of Angers/LARIS, 62 Av. Notre Dame du Lac, 49000-Angers, France

3. Valeo Comfort and Driving Assistance 76, rue Auguste Perret 94000-Creteil, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2811681.2811696

Reference13 articles.

1. K. J. Hayhurst D. S. Veerhusen J. J. Chilenski and L. K. Rierson A Practical Tutorial on Modified Condition / Decision Coverage no. May. 2001. K. J. Hayhurst D. S. Veerhusen J. J. Chilenski and L. K. Rierson A Practical Tutorial on Modified Condition / Decision Coverage no. May. 2001.

2. "ISO 26262-6:2011 Road vehicles --- Functional safety --- Part 6: Product development at the software level." "ISO 26262-6:2011 Road vehicles --- Functional safety --- Part 6: Product development at the software level."

3. T. K. Ferrell and U. D. Ferrell "Rtca do-178b/eurocae ed-12b " Development 2001. T. K. Ferrell and U. D. Ferrell "Rtca do-178b/eurocae ed-12b " Development 2001.

4. A Study of Enhanced MC/DC Coverage Criterion for Software Testing

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MC/DC Test Case Automatic Generation for Safety-Critical Systems;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

2. Generating minimal test set satisfying MC/DC criterion via SAT based approach;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09