Conceptos Básicos
DocTer extracts DL-specific input constraints from API documentation to improve testing effectiveness.
Resumen
Input constraints are crucial for software development tasks.
DL API functions have specific input constraints described informally in API documentation.
DocTer uses a novel algorithm to automatically extract constraints from API descriptions.
Evaluation on popular DL libraries shows DocTer's precision in extracting input constraints.
DocTer detects bugs and inconsistencies in API documentation, leading to improvements.
Estadísticas
"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."
Citas
"A segmentation fault is never OK and we should fix it with high priority." - API developer feedback after DocTer detected a crash bug.