Bo Jiang T. H. Tse Wolfgang Grieskamp Nicolas Kicillof Yiming Cao Xiang Li W. K. Chan Assuring the model evolution of protocol software specifications by regression testing process improvement. 1073-1103 2011 41 Softw., Pract. Exper. 10 http://dx.doi.org/10.1002/spe.1092 db/journals/spe/spe41.html#JiangTGKCLC11