Segmented symbolic analysis

Wei Le. Segmented symbolic analysis. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 212-221, IEEE / ACM, 2013. [doi]

Abstract

Abstract is missing.