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
Leon J. Osterweil , University of Massachusetts Amherst
Lori A. Clarke , University of Massachusetts Amherst
Jamieson M. Cobleigh , University of Massachusetts Amherst
INDEX TERMS
CITATION
Leon J. Osterweil, Lori A. Clarke, Jamieson M. Cobleigh, "The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification", Software Engineering, International Conference on, vol. 00, no. , pp. 0037, 2001, doi:10.1109/ICSE.2001.919079
98 ms
(Ver 3.3 (11022016))