Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving-Reference-Cited by-同舟云学术

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving

Published:2018 Issue: Volume: Page:123-138
ISSN:0302-9743
Container-title:Developments in Language Theory
language:
Short-container-title:

Author:

Kitamura Takashi,Maissonneuve Quentin,Choi Eun-Hye,Artho Cyrille,Gargantini Angelo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99130-6_9

Reference27 articles.

1. RTCA: DO-178C: Software considerations in airborne systems and equipment certification (2011)

2. ISO26262: International Organization for standardization, road vehicles - functional safety (2009)

3. Chilenski, J.J., Miller, S.P.: Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9(5), 193–200 (1994)

4. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)

5. Kelly J.H., Dan S.V., John J.C., Leanna K.R.: A practical tutorial on modified condition/decision coverage. Technical report NASA/TM-2001-210876, NASA (2001)

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

1. Is MCDC Really Better? Lessons from Combining Tests and Proofs;Lecture Notes in Computer Science;2024-09-10

2. Test suite generation for boolean conditions with equivalence class partitioning;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

3. An Experimental Study of a Fuzzy Adaptive Emperor Penguin Optimizer for Global Optimization Problem;IEEE Access;2022

4. TestSelector: Automatic Test Suite Selection for Student Projects;Runtime Verification;2022

5. Toward optimal mc/dc test case generation;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11