David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar. Accelerating array constraints in symbolic execution. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 68-78, ACM, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.