@misc{indiciaed99256dd0c2c,
  title = {Assertion-based Analysis via Slicing with ABETS (System Description)},
  author = {M. Alpuente and D. Ballis and F. Frechina and J. Sapiña},
  year = {2016},
  url = {https://arxiv.org/abs/1608.01433},
  note = {Source identifier: 1608.01433}
}