Dynamic generation of safety test case based on minimal cut sets

• 基于最小割集的安全性测试用例的动态生成