Publications

1. Bibek Kabi, Eric Goubault, Sylvie Putot. (2016). A Concoction of Zonotope Abstraction and Constraint Programming for Finding an Invariant. SWIM 2016. [Abstract] [Slides]

2. Antoine Miné, Jason Breck, Tom Reps. (2016). An algorithm inspired by constraint solvers to infer inductive invariants in numeric programs. ESOP 2016. [Article]

3. Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, Antoine Miné. (2016). Mixing Polyhedra and Boxes Abstract Domain for Constraint Solving. CP meets Verification Workshop 2016. [Abstract] [Slides]

4. Yahia Lebbah, Mohammed Said Belaid, Claude Michel, Michel Rueher. On finding program input values maximizing the rounding-off error. CP meets Verification Workshop 2016. [Slides]

5. Claude Michel, Hélène Collavizza, Michel Rueher. Searching critical values for floating-point programs. 28th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, LNCS 9976, pages 209--217, Graz, Austria, 17--19th October. [Article] [Slides]