Systematic Robustness-Testing RI-Pro of BGP. - Lechun Wang; Peidong Zhu; Zhenghu Gong (ISPA, 2004)