The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

Browse the full ICSE paper archive.