共 26 条
[1]
Al-Ekram R., 2005, P ESEM 05
[2]
Alias C., 2003, WCRE 03
[3]
[Anonymous], 2007, 541 QUEENS U KINGST
[4]
Baxter I.D., 1998, ICSM '98
[5]
Clarke EM, 1999, MODEL CHECKING, P1
[7]
Eckhardt D. E., 1991, IEEE TSE, V17
[8]
Gabel M., 2008, ICSE 08
[9]
Ianov I. I., 1958, COMMUN ACM
[10]
Jiang E. C. Lingxiao, 2007, ESEC FSE 07