Title: Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles
Authors: Stephen F. Siegel and George S. Avrunin
Abstract:
Appeared in:
IEEE Transactions on Software Engineering 28 (2002), no. 2, 115-128
BibTeX:
Download: