PARTI: A Multi-interval Theory Solver for Symbolic Execution

New York, NY / ACM (2018) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the 33rd ACMIEEE International Conference on Automated Software Engineering
Page(s): 430-440

Authors

Authors

Soria Dustmann, Oscar
Wehrle, Klaus
Cadar, Cristian

Identifier