Exploration into Automatic Generation Technology of Non-regular Testing Cases of a Safety-Critical Software

• 一类安全性苛求软件非规则测试案例自动生成技术