Core Concepts
DocTer extracts DL-specific input constraints from API documentation to improve testing effectiveness.
Stats
"Our evaluation on three popular DL libraries (TensorFlow, PyTorch, and MXNet) shows that DocTer’s precision in extracting input constraints is 85.4%."
"DocTer detects 94 bugs from 174 API functions, including one previously unknown security vulnerability that is now documented in the CVE database, while a baseline technique without input constraints detects only 59 bugs."
Quotes
"A segmentation fault is never OK and we should fix it with high priority." - API developer feedback after DocTer detected a crash bug.