Analysis of automated tools for link and stream verification.