Beyond quantifier-free interpolation in extensions of presburger arithmetic by Brillout, A, Kroening, D, Rümmer, P, Wahl, T

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. by Brillout, A, Kroening, D, Rümmer, P, Wahl, T

An interpolating sequent calculus for quantifier-free Presburger arithmetic by Brillout, A, Kroening, D, Rümmer, P, al., E

Mutation-based test case generation for simulink models by Brillout, A, He, N, Mazzucchi, M, Kroening, D, Purandare, M, Rümmer, P, Weissenbacher, G