TY  - RPRT
TI  - Failure-Directed Program Trimming (Extended Version)
AU  - Kostas Ferles
AU  - Valentin Wüstholz
AU  - Maria Christakis
AU  - Isil Dillig
PY  - 2017
UR  - https://arxiv.org/abs/1706.04468
ID  - 1706.04468
ER  -