Test Generation Tool for Modified Condition/Decision Coverage-Reference-Cited by-同舟云学术

Test Generation Tool for Modified Condition/Decision Coverage

Published:2020-09-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 13th International Conference on Intelligent Systems: Theories and Applications
language:
Short-container-title:

Author:

El qortobi Mounia¹,Rahj Amine¹,Bentahar Jamal¹,Dssouli Rachida¹

Affiliation:

1. CIISE, Concordia University, Montreal, Canada

Publisher

ACM

Reference21 articles.

1. http://www.rtca.org. RTCA/DO-178C (2011) "Software Considerations in Airborne Systems and Equipment Certification" December 13 DO-332 Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A DO-333 Formal Methods Supplement to DO-178C and DO-278A. http://www.rtca.org. RTCA/DO-178C (2011) "Software Considerations in Airborne Systems and Equipment Certification" December 13 DO-332 Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A DO-333 Formal Methods Supplement to DO-178C and DO-278A.

2. EFSM-Based Test Case Generation: Sequence, Data, and Oracle

3. Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems;Dssouli R.;A Survey. Advances in Computers,2017

4. Selecting Software Test Using Dataflow Information;Rapps S.;IEEE Transactions on Software Engineering,1985

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

1. A language-parametric test coverage framework for executable domain-specific languages;Journal of Systems and Software;2024-05

2. Evaluating system-level test generation for industrial software;Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test;2022-05-17