DocTer extracts DL-specific input constraints from API documentation to improve testing effectiveness.