Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen. S-looper: automatic summarization for multipath string loops. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 188-198, ACM, 2015. [doi]
Abstract is missing.