Filters








3 Hits in 3.1 sec

S-looper: automatic summarization for multipath string loops

Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen
2015 Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015  
In this paper, we propose an approach, named S-Looper, to automatically summarize a type of loops related to a string traversal.  ...  loop contains a conditional branch related to string content, we potentially need to track every character in the string for loop summarization, which is expensive.  ...  In this paper, we present S-Looper, a novel static technique for summarizing multipath, string loops.  ... 
doi:10.1145/2771783.2771815 dblp:conf/issta/XieLLLC15 fatcat:6xr3sc4cunazpkl4dsfko2lcx4

Proteus: computing disjunctive loop summary via path dependency analysis

Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
A DFS-based algorithm is proposed to traverse the PDA to summarize the effect for all feasible executions in the loop.  ...  state-of-the-art tools for loop verification; and 3) generate test cases for deep loops within one second, while KLEE and Pex either need much more time or fail.  ...  It summarizes a loop by computing the necessary condition on loop conditions. S-Looper [55] summarizes multi-path string loops using path counters.  ... 
doi:10.1145/2950290.2950340 dblp:conf/sigsoft/XieCLLL16 fatcat:2pl5pkozfbhrzbaxc4dqprkez4

Automatic Loop Summarization via Path Dependency Analysis

Xiaofei Xie, Bihuan Chen, Liang Zou, Yang Liu, Wei Le, Xiaohong Li
2018 IEEE Transactions on Software Engineering  
An algorithm is proposed to traverse the PDA to summarize the effect for all possible executions in the loop.  ...  Based on the PDA, we first propose a loop classification to understand the complexity of loop summarization.  ...  S-Looper [7] summarizes multi-path string loops using path counters. It extracts the string pattern from each path and then generates the string constraints.  ... 
doi:10.1109/tse.2017.2788018 fatcat:isdplq3rxfbbdphulfggy2rcve