An I/O Efficient Approach for Detecting All Accepting Cycles

Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng., 41(8):730-744, 2015. [doi]

Abstract

Abstract is missing.