An I/O Efficient Approach for Detecting All Accepting Cycles Software Eng. 41(8): 730-744 (2015)

出版物
IEEE Transactions on Software Engineering