S-looper: automatic summarization for multipath string loops.

Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen

Browse the full ISSTA paper archive.