PARTI: a multi-interval theory solver for symbolic execution

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar. PARTI: a multi-interval theory solver for symbolic execution. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 430-440, ACM, 2018. [doi]

Abstract

Abstract is missing.