基于蚁群算法的猜测符号执行的路径搜索 (Search of Speculative Symbolic Execution Path Based on Ant Colony Algorithm).

深度信念网软件缺陷预测模型 (Deep Belief Network Software Defect Prediction Model).