The Community for Technology Leaders
Software Engineering, International Conference on (2001)
Toronto, Canada
May 12, 2001 to May 19, 2001
ISBN: 0-7695-1050-7
pp: 0037
Jamieson M. Cobleigh , University of Massachusetts Amherst
Lori A. Clarke , University of Massachusetts Amherst
Leon J. Osterweil , University of Massachusetts Amherst
INDEX TERMS
CITATION

L. J. Osterweil, L. A. Clarke and J. M. Cobleigh, "The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification," Software Engineering, International Conference on(ICSE), Toronto, Canada, 2001, pp. 0037.
doi:10.1109/ICSE.2001.919079
97 ms
(Ver 3.3 (11022016))