Aug, 2022
COMET: 深度学习库测试的覆盖率导向模型生成
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen...
TL;DR通过研究发现现有深度学习库测试技术的测试效果受到 API 调用多样性的限制,为了更加有效地生成深度学习模型以实现较高的覆盖率和发现更多的库错误,本文提出了一种基于突变操作符的模型生成算法 COMET,该算法可实现对 API 调用多样性的有效控制并发现了 32 个新的库错误。