共 8 条
[1]
Analysis of the constraint solver in UNA based test data generation.[J].Jon Edvardsson;Mariam Kamkar.ACM SIGSOFT Software Engineering Notes.2001, 5
[2]
计算机常用数值算法与程序.[M].何渝; 编著.人民邮电出版社.2003,