@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 ...} }