S-looper: automatic summarization for multipath string loops

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]

Authors

Xiaofei Xie

This author has not been identified. Look up 'Xiaofei Xie' in Google

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

Wei Le

This author has not been identified. Look up 'Wei Le' in Google

Xiaohong Li

This author has not been identified. Look up 'Xiaohong Li' in Google

Hongxu Chen

This author has not been identified. Look up 'Hongxu Chen' in Google