基于状态机模型的构件健壮性测试-SEG-南京大学.PDF

Software Engineering Group Department of Computer Science Nanjing University Technical Report No. NJU-SEG-2010-CJ-001 基于状态机模型的构件健壮性测试 雷斌,王林章, 卜磊,李宣东 Postprint Version. Originally Published in: Journal of Software, Vol.21, No.5, May 2010, pp.93