"PARTI: a multi-interval theory solver for symbolic execution."

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics