PARTI: A Multi-interval Theory Solver for Symbolic Execution

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
September 2018
Cite DOI URL
Type
Conference paper
Publication
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE'18)
Event
33rd ACM/IEEE International Conference on Automated Software Engineering (ASE '18), Sep 3 - Sep 7, 2018, Montpellier, France
Placeholder Avatar
Oscar Soria Dustmann
Klaus Wehrle
Klaus Wehrle
Head of Group
Placeholder Avatar
Cristian Cadar