Self-description and Reqeneration of Test Cases Based on Error-guessing Method for Safety-critical Software Automatic Testing

• 软件安全性自动测试中源于猜错案例的自描述