Modified Condition/Decision Coverage Test Case Generation Method for Aviation Software Requirements Model
丁鼎, 胡军, 王康星, 董泽华, 王立松
Journal of Chinese Computer Systems . 2025, (7): 1783 -1792 .