PARTI: A Multi-interval Theory Solver for Symbolic Execution

New York, NY / ACM (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Soria Dustmann, Oscar
Wehrle, Klaus
Cadar, Cristian

Identifikationsnummern