2Weyuker E J.The applicability of program schema results to programs [J].Int J Computer Information Sciences,1979;8:387-403
3Gupta N,Mathur A P,Soffa M L.Automated test data generation using an iterative relaxation method[C].In:Proceedings of the ACMSIGSOFT Sixth International Symposium on the Foundations of Software Engineering, FSE-6 SIGSOFT＇98, Lake Buena Vista, Florida: 1998:231-244
4Shan J H,Wang J,Qi Z C.On path-wise automatic generation of test data for both white-box and black-box testing[C].In :Proceedings of the 8th Asia-Pacific Software Engineering Conference(APSEC＇2001),University of Macao,Macao SAR,China:2001
5Holzner S.Web Development with Tcl/Tk 8.1 :A Complete Resource for Programmers and Developers [M].John Wiley & Sons, 1999
6Holzmann G J.The model checker Spin[J].IEEE Trans on Software Engineering, 1997; 23 (5): 279-295
7Gupta N,Mathur A P,Soffa M L.UNA based iterative test data generation and its evaluation[C].In:Proceedings of the 14th IEEE International conference on Automated Software Engineering,Cocoa Beach,Florida: 1999: 224-232
8Dongarra J J,Pozo R,Walker D W.LAPACK++:A design overview of Object-Oriented extensions for high performance linear algebra[R].Computer Science Technical Report,University of Tennessee,1993
9The Mathworks Inc. Matlab C++ Math Library-The Language of Technical Computing-User's Guide[M].Version 2,1999
