The two known approaches to detect the problem are deficient in accuracy and usability and not suitable for large regression testing based on software simulator.

• 已有的两种检测该错误的方法在准确性和易用性方面存在缺陷,不适用于基于软件模拟器的大规模回归测试。