PARTI: A Multi-interval Theory Solver for Symbolic Execution

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

2.	Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar PARTI: A Multi-interval Theory Solver for Symbolic Execution Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18) September 2018 DOI: 10.1145/3238147.3238179

Export as:

- Impressum | Datenschutz -