TY  - RPRT
TI  - Assertion-based Analysis via Slicing with ABETS (System Description)
AU  - M. Alpuente
AU  - D. Ballis
AU  - F. Frechina
AU  - J. Sapiña
PY  - 2016
UR  - https://arxiv.org/abs/1608.01433
ID  - 1608.01433
ER  -