@entry{lib-rou-lec-mar-10-aa,
  author = {L Liberti and S Le Roux and J Leconte and F Marinelli},
  title = {Mathematical programming based debugging},
  journal = {Electronic Notes in Discrete ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.sciencedirect.com/science/article/pii/S1571065310001678}}},
  quotes = {... The main innovation proposed in this paper is that, at least for computer programs with integer affine arithmetic, our approach provides both an optimality guarantee for all such ...}
}