Proj CDeepFuzz Paper Reading: Detecting TensorFlow program bugs in real-world industrial environment

Abstract

本文: ShapeTracer
Task: 1. Study on 12289 failed TensorFlow jobs 2. detecting TensorFlow shape-related errors with a constraint-based approach
Method: detecting TensorFlow shape-related errors with a constraint-based approach, PLATFORM-X
Discussion: existing static tools can effectively detect 72.55% of the top three types of Python bugs in industrial TensorFlow programs
实验：
dataset: a set of 60 industrial TensorFlow programs
效果：

  1. 每个程序最多花费3秒
  2. 找到40/60 bugs，没有false positives
posted @ 2023-08-29 15:48  雪溯  阅读(9)  评论(0)  编辑  收藏  举报