共 22 条
[1]
Ball T., 2004, Formal Methods for Components and Objects. Third International Symposium, FMCO 2004. Revised Lectures (Lecture Notes in Computer Science Vol. 3657), P1
[3]
Chen TY, 2006, LECT NOTES COMPUT SC, V4006, P155
[5]
Chen TY, 2011, J INF SCI ENG, V27, P1449
[7]
Mirror adaptive random testing
[J].
INFORMATION AND SOFTWARE TECHNOLOGY,
2004, 46 (15)
:1001-1010
[8]
GODEFROID P., 2005, PLDI
[9]
GOTLIEB A, 2008, 32 ANN IEEE INT COMP
[10]
GOTLIEB A, 2006, 1 ACM INT WORKSH RAN