本章参考文献

本章参考文献

[1] King J C.Symbolic execution and program testing[J].Communications of the ACM,1976,19(7):385-394.

[2] Boyer R S,Elspas B,Levitt K N.SELECT—a formal system for testing and debugging programs by symbolic execution[J].ACM SIGPLAN Notices,1975,10(6):234-245.

[3] Xu Z,Zhang J.A test data generation tool for unit testing of c programs[C]//Proceedings of the Sixth International Conference on Quality Software(QSIC),2006:107-116.

[4] Zhang J.Symbolic execution of program paths involving pointer structure variables[C]//Proceedings of the Sixth International Conference on Quality Software(QSIC),2004:87-92.

[5] Korel B.Automated software test data generation[J].IEEE Transactions on Software Engineering,1990,16(8):870-879.

[6] Phil Mc Minn.Search-based software test data generation:a survey[J].Software Testing,Verification and Reliability,2004,14(2):105-156.

[7] 薛云志,陈伟,王永吉,等.一种基于Messy GA的结构测试数据自动生成方法[J].软件学报,2006,17(8):1688-1697.

[8] Godefroid P,Klarlund N,Sen K.DART:directed automated random testing[C]//Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation,2005,40(6):213-223.

[9] Sen K,Marinov D,Agha G.CUTE:a concolic unit testing engine for C[C]//Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering(ESEC/FSE’05),2005,30(5):263-272.

[10] Godefroid P.Compositional dynamic test generation[C]//Proceedings of the 2007 POPL Conference,2007,42(1):47-54.

[11] Godefroid P,Levin M Y,Molnar D A.Automated whitebox fuzz testing[C]//Proceedings of the Network and Distributed Systems Security Symposium(NDSS),2008,8:151-166.

[12] Nielson F,Nielson H R,Hankin C.Principles of program analysis[M].Berlin:Springer-Verlag,1999:211-282.

[13] 李梦君,李舟军,陈火旺.基于抽象解释理论的程序验证技术[J].软件学报,2008,19(1):17-26.

[14] 姬孟洛,王怀民,李梦君,等.一种基于抽象解释和通用单调数据流框架的值范围分析方法[J].计算机研究与发展,2006,43(11):2020-2026.

[15] 姬孟洛,李军,王馨,等.一种基于抽象解释的WCET自动分析工具[J].计算机工程,2006,32(14):54-56.

[16] Cousot P,Cousot R.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of fixpoints[C]//Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages.New York:ACM press,1977:238-252.

[17] Cousot P,Cousot R.Static determination of dynamic properties of programs[C]//Proceedings of the second International Symposium on Programming.Dunod,Paris,1976:106-130.

[18] Cousot P.Abstract interpretation based formal methods and future challenges[C]//Proceedings of Informatics-10 Years Back,10 Years Ahead.Berlin:Springer,2001:138-156.

[19] 王雅文,宫云战,肖庆,等.基于抽象解释的变量值范围分析及应用[J].电子学报,2011,39(2):296-303.

[20] 王雅文,宫云战,肖庆,等.扩展区间运算的变量值范围分析技术[J].北京邮电大学学报,2009,32(3):36-41.

[21] Burkill J C.Functions of intervals[J].Proceedings of the London Mathematical Society,1924,2(1):275-310.

[22] Young R C.The algebra of many-valued quantities[J].Mathematische Annalen,1931,104(1):260-290.

[23] Alefeld G,Herzberger J.Introduction to interval computation[M].New York:Academic press,1984.

[24] Hansen E.Topics in interval analysis[M].Oxford:Clarendon Press,1969.

[25] Moore R E,Cloud M J,Kearfott R B.Introduction to interval analysis[M].Philadelphia:Society for Industrial and Applied Mathematics(SIAM),2009.

[26] Moore R E.Interval analysis[M].New Jersey:Prentice-Hall,1966.

[27] Moore R E.Methods and applications of interval analysis[M].Philadelphia:Society for Industrial and Applied Mathematics(SIAM),1979.

[28] Moore R E.Interval arithmetic and automatic error analysis in digital computing[R].Stanford Univ Calif Applied Mathematics and Statistics Labs,1962.

[29] Mudur S P,Koparkar P A.Interval methods for processing geometric objects[J].Computer Graphics and Applications,IEEE,1984,4(2):7-17.

[30] Maekawa T.Robust computational methods for shape interrogation[D].Boston:Massachusetts Institute of Technology,1993.

[31] Enger W.Interval ray tracing—a divide and conquer strategy for realistic computer graphics[J].The Visual Computer,1992,9(2):91-104.

[32] Snyder J M.Interval analysis for computer graphics[J].ACM SIGGRAPH Computer Graphics,1992,26(2):121-130.

[33] Kearfott R B,Xing Z.Rigorous computation of surface patch intersection curves[J].ResearchGate,2001:1-22.https://www.researchgate.net/publication/2414903.

[34] Schramm P.Intersection problems of parametric surfaces in CAGD[J].Computing,1994,53(3-4):355-364.

[35] Harrison W H.Compiler analysis of the value ranges for variables[J].IEEE Transactions on Software Engineering,1977(3):243-250.

[36] 王志言,刘椿年.区间算术在软件测试中的应用[J].软件学报,1998,9(6):438-443.

[37] 李福川,宋晓秋.软件测试中的新方法——区间代数方法[J].计算机工程与设计,2006,26(10):2576-2578.

[38] 高传平,谈利群,宫云战,等.基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统,2007,27(12):2222-2227.

[39] Ghodrat M A,Givargis T,Nicolau A.Expression equivalence checking using interval analysis[J].IEEE Transactions on Very Large Scale Integration Systems(VLSI),2006,14(8):830-842.

[40] Howden W E.Symbolic testing and the DISSECT symbolic evaluation system[J].IEEE Transactions on Software Engineering,1977(4):266-278.

[41] Ramamoorthy C V,Ho S B F,Chen W T.On the automated generation of program test data[J].IEEE Transactions on Software Engineering,1976(4):293-300.

[42] Clarke L A.A system to generate test data and symbolically execute programs[J].IEEE Transactions on Software Engineering,1976(3):215-222.

[43] MinéA.Symbolic methods to enhance the precision of numerical abstract domains[C]//Proceedings of Verification,Model Checking,and Abstract Interpretation.Springer Berlin Heidelberg,2006:348-363.

[44] Khurshid S,Psreanu C S,Visser W.Generalized Symbolic Execution for Model Checking and Testing[C]//International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Springer,Berlin,Heidelberg,2003:553-568.https://doi.org/10.1007/3-540-36577-X_40.

[45] Sen K,Agha G.CUTE andjCUTE:concolic unit testing and explicit path modelchecking tools[C]//Proceedings of Computer Aided Verification.Berlin:Springer,2006:419-423.

[46] Clarke L A,Richardson D J.Applications of symbolic evaluation[J].Journal of Systems and Software,1985,5(1):15-35.

[47] Weiser M.Program slicing[C]//Proceedings of the 5th international conference on Software engineering.IEEE Press,1981:439-449.

[48] 李必信.程序切片技术及其在面向对象软件度量和软件测试中的应用[D].南京:南京大学,2005.

[49] Tip F.A survey of program slicing techniques[J].Journal of programming languages,1995,3(3):121-189.

[50] Horwitz S,Reps T,Binkley D.Interprocedural slicing using dependence graphs[J].ACM Transactions on Programming Languages and Systems(TOPLAS),1990,12(1):26-60.

[51] Gallagher K B,Lyle J R.Using program slicing in software maintenance[J].IEEE Transactions on Software Engineering,1991,17(8):751-761.

[52] De Milli R A,Offutt A J.Constraint-based automatic test data generation[J].IEEE Transactions on Software Engineering,1991,17(9):900-910.

[53] Offutt A J,Jin Z,Pan J.The dynamic domain reduction procedure for test data generation[J].Software-Practice and Experience,1999,29(2):167-194.

[54] Cadar C,Dunbar D,Engler D.KLEE:Unassisted and automatic generation of highcoverage tests for complex systems programs[C]//Proceedings of USENIX Symposium on Operating Systems Design and Implementation(OSDI 2008),2008,8:209-224.

[55] 李仁见,刘万伟,陈立前,等.一种基于变量可达向量的链表抽象方法[J].软件学报,2012,23(8):1935-1949.

[56] Robschink T,Snelting G.Efficient path conditions in dependence graphs[C]//Proceedings of the 24th International Conference on Software Engineering.ACM,2002:478-488.

[57] 唐容,王雅文,宫云战.面向测试用例生成的抽象内存模型研究[C]//第七届中国测试学术会议(CTC2012),2012:144-149.

[58] 李飞宇,宫云战,王雅文.基于内存建模的复杂结构类型测试数据自动生成方法[J].计算机辅助设计与图形学学报,2012,24(2):262-270.

[59] Li F,Gong Y.Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs[C]//Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference-Volume 02.IEEE Computer Society,2012:95-104.

[60] 王雅文,宫云战,肖庆.基于区间必然集的测试用例生成方法[J].计算机辅助设计与图形学学报,2013,25(4):550-556.

[61] Coward P D.Symbolic execution and testing[J].Information and software Technology,1991,33(1):53-64.

[62] Gotlieb A.Euclide:a constraint-based testing framework for critical C programs[C]//Proceedings of the 2009 International Conference on Software Testing Verification and Validation,2009:151-160.

[63] 李必信,郑国梁,王云峰,等.一种分析和理解程序的方法——程序切片[J].计算机研究与发展,2000,37(3):284-291.

[64] Zhang J,Wang X.A constraint solver and its application to path feasibility analysis[J].International Journal of Software Engineering and Knowledge Engineering,2001,11(02):139-156.(https://www.daowen.com)

[65] Miller W,Spooner D L.Automatic generation of floating-point test data[J].IEEE Transactions on Software Engineering,1976,2(3):223-226.

[66] Korel B.Dynamic method for software test data generation[J].Software Testing,Verification and Reliability,1992,2(4):203-213.

[67] 奚红宇,徐红.Ada软件测试用例生成工具[J].软件学报,1997,8(4):297-302.

[68] Ferguson R,Korel B.The chaining approach for software test data generation[J].ACM Transactions on Software Engineering and Methodology(TOSEM),1996,5(1):63-86.

[69] Korel B,Al-Yami A M.Assertion-oriented automated test data generation[C]//Proceedings of the 18th international conference on Software engineering.IEEE Computer Society,1996:71-80.

[70] Korel B,Al-Yami A M.Automated regression test generation[C]//Proceedings of ACM SIGSOFT Software Engineering Notes.ACM,1998,23(2):143-152.

[71] Matthew J Gallagher,Lakshmi Narasimhan V.Adtest:a test data generation suite for ada software systems[J].IEEE Transactions on Software Engineering,1997,23(8):473-484.

[72] Gupta N,Mathur A P,Soffa M L.Automated test data generation using an iterative relaxation method[C]//Proceedings of ACM SIGSOFT Software Engineering Notes.ACM,1998,23(6):231-244.

[73] Gupta R,Mathur A P,Soffia M L.UNA based iterative test data generation and its evaluation[C]//Proceedings of the 14th IEEE International Conference on Automated Software Engineering,1999:224-232.

[74] Edvardsson J,Kamkar M.Analysis of the constraint solver in una based test data generation[C]//Proceedings of the ACM SIGSOFT Software Engineering Notes,2001,26(5):237-245.

[75] Gupta R,Mathur A P,Soffa M L.Generating test data for branch coverage[C]//Proceedings of The Fifteenth IEEE International Conference on Automated Software Engineering(ASE’00).IEEE,2000:219-227.

[76] 单锦辉,王戟,齐治昌,等.Gupta方法的改进[J].计算机学报,2002,25(12):1378-1386.

[77] Shan J H,Wang J,Qi Z C,et al.Improved method to generate path-wise test data[J].Journal of Computer Science and Technology,2003,18(2):235-240.

[78] Harman M,Jones B.Search-based software engineering[J].Information and Software Technology,2001,43(14):833-839.

[79] Clark J,Dolado J J,Harman M,et al.Reformulating software engineering as a search problem[J].IEE Proceedings-Software,2003,150(3):161-175.

[80] Harman M.The current state and future of search based software engineering[C]//Proceedings of 2007 Future of Software Engineering.IEEE Computer Society,2007:342-357.

[81] Harman M,McMinn P.A theoretical and empirical study of search-based testing:local,global,and hybrid search[J].IEEE Transactions on Software Engineering,2010,36(2):226-247.

[82] Zhao R,Harman M,Zheng L.Empirical study on the efficiency of search based test generation for EFSM models[C]//Proceedings of the Third International Conference on Software Testing,Verification,and Validation Workshops(ICSTW’10),2010:222-231.

[83] Mc Minn P.Search-based software testing:past,present and future[C]//Proceedings of the 4th International Workshop on Search-Based Software Testing(SBST’11),in conjunction with the 4th IEEE International Conference on Software Testing(ICST’11),2011:153-163.

[84] Ali S,Briand L C.A systematic review of the application and empirical investigation of search-based test case generation[J].IEEE Transactions on Software Engineering,2010,36(6):742-762.

[85] Goldfeld S M,Quandt R E,Trotter H F.Maximization by quadratic hill-climbing[J].Econometrica:Journal of the Econometric Society,1966,34(3):541-551.

[86] Tsamardinos I,Brown L E,Aliferis C F.The max-min hill-climbing Bayesian network structure learning algorithm[J].Machine learning,2006,65(1):31-78.

[87] Yuret D,De La Maza M.Dynamic hill climbing:overcoming the limitations of optimization techniques[C]//Proceedings of The Second Turkish Symposium on Artificial Intelligence and Neural Networks,1993:208-212.

[88] Hoffmann J.A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm[C]//International Symposium on Methodologies for Intelligent Systems.Heidelberg:Springer,2000:216-227.https://doi.org/10.1007/3-540-39963-1_23.

[89] Choi S,Yeung D.Learning-based SMT processor resource distribution via hillclimbing[J].ACM SIGARCH Computer Architecture News,2006,34(2):239-251.

[90] Xi B,Liu Z,Raghavachari M,et al.A smart hill-climbing algorithm for application server configuration[C]//Proceedings of the 13th international conference on World Wide Web.ACM,2004:287-296.

[91] Douceur J R,Wattenhofer R P.Competitive Hill-Climbing Strategies for Replica Placement in a Distributed File System[C]//International Symposium on Distributed Computing.Heidelberg:Springer,2001:48-62.https://doi.org/10.1007/3-540-45414-4_4.

[92] Metropolis N,Rosenbluth A W,Rosenbluth M N,et al.Equation of state calculations by fast computing machines[J].The journal of chemical physics,2004,21(6):1087-1092.

[93] Kirkpatrick S,Gellat C D,Vecchi M P.Optimization by simulated annealing[J].Science,1983,220(4598):671-680.

[94] Tracey N,Clark J,Mander K,et al.An automated framework for structural test-data generation[C]//Proceedings of the International Conference on Automated Software Engineering(ASE’98),Hawaii,USA,1998:285-288.

[95] Tracey Nigel,John Clark,Keith Mander.Automated program flaw finding using simulated annealing[C]//Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis,1998:73-81.https://doi.org/10.1145/271771.271792.

[96] Tracey N,Clark J,Mander K.The way forward for unifying dynamic test-case generation:the optimisation-based approach[C]//Proceedings of International Workshop on Dependable Computing and Its Applications,1998:169-180.

[97] Holland J H.Adaptation in Natural and Artificial Systems[M].Ann Arbor:University of Michigan Press,1975.

[98] Back T,Hoffmeister F,Schwefel H P.A survey of evolution strategies[C]//Proceedings of the 4th international conference on genetic algorithms.1991:2-9.San Diego,California,USA,1991,Morgan Kaufmann.

[99] Whitley D.An overview of evolutionary algorithms:practical issues and common pitfalls[J].Information and software technology,2001,43(14):817-831.

[100] Back T.Evolutionary algorithms in theory and practice[M].New York:Oxford University Press,1996.

[101] Wegener J,Buhr K,Pohlheim H.Automatic test data generation for structural testing of embedded software systems by evolutionary testing[C]//Proceedings of the Genetic and Evolutionary Computation Conference(GECCO 2002),2002:1233-1240.New York,USA,Morgan Kaufmann.

[102] Harman M,Hu L,Hierons R,et al.Improving evolutionary testing by flag removal[C]//Proceedings of the Genetic and Evolutionary Computation Conference(GECCO 2002),2002:1359-1366.New York,USA,Morgan Kaufmann.

[103] Buehler O,Wegener J.Evolutionary functional testing of an automated parking system[C]//Proceedings of the International Conference on Computer,Communication and Control Technologies and The 9th.International Conference on Information Systems Analysis and Synthesis,Orlando,Florida,USA,2003.

[104] Jones B F,Sthamer H H,Eyres D E.Automated Structural Testing Using Genetic Algorithms[J].Software Engineering Journal,1996,11(5):299-306.

[105] Bouchachia A.An Immune Genetic Algorithm for Software Test Data Generation[C]//Proceedings of the 7th International Conference on Hybrid Intelligent System(HIS’07),2007:84-89.

[106] Alba E,Chicano F.Observations in Using Parallel and Sequential Evolutionary Algorithms for Automatic Software Testing[J].Computers and Operations Research,2008,35(10):3161-3183.

[107] Sharma C,Sabharwal S,Sibal R.A survey on software testing techniques using genetic algorithm[J].International Journal of Computer Science Issues,2013,10(1):381-393.

[108] 荚伟,谢军.遗传算法在软件测试数据生成中的应用[J].北京航空航天大学学报,1998,24(4):434-437.

[109] Jones B F,Eyres D E,Sthamer H H.A strategy for using genetic algorithms to automate branch and fault-based testing[J].The Computer Journal,1998,41(2):98-107.

[110] 张文修,梁怡.遗传算法的数学基础[M].西安:西安交通大学出版社,2000.

[111] Tracey N,Clark J,Mander K,et al.Automated test-data generation for exception conditions[J].Software-Practice and Experience,2000,30(1):61-79.

[112] Sofokleous A A,Andreou A S.Batch-optimistic test-cases generation using genetic algorithms[C]//Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007),2007,1:157-164.

[113] Dorigo M,Blum C.Ant colony optimization theory:a survey[J].Theoretical computer science,2005,344(2):243-278.

[114] Mao C,Yu X,Chen J.Generating test case for structural testing based on ant colony optimization[C]//Proceedings of the 12th International Conference on Quality Software(QSIC’12),2012:98-101.

[115] Kennedy James,Russell Eberhart.Particle swarm optimization[C]//Proceedings of IEEE international conference on neural networks(ICNN’95),1995:1942-1948.

[116] Windisch A,Wappler S,Wegener J.Applying particle swarm optimization to software testing[C]//Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation(GECCO’07),2007:1121-1128.

[117] Mao C,Yu X,Chen J.Swarm intelligence-based test data generation for structural testing[C]//Proceedings of 11th International Conference on Computer and Information Science(ICIS’12),2012:623-628.

[118] 谢晓园,徐宝文,史亮,等.面向路径覆盖的演化测试用例生成技术[J].软件学报,2009,20(12):3117-3136.

[119] 王子元,徐宝文,聂长海.组合测试用例生成技术[J].计算机科学与探索,2008,2(6):571-588.

[120] 史亮.测试用例自动生成技术研究[D].南京:东南大学,2006.

[121] 任君,赵瑞莲,李征.基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成[J].计算机应用,2011,31(9):2404-2443,2452.

[122] 尤枫,闫宇,赵瑞莲.含过程调用EFSM模型测试数据生成[J].计算机工程与应用,2011,47(32):87-90.

[123] 王雪莲,赵瑞莲,李立健.一种用于测试数据生成的动态程序切片算法[J].计算机应用,2005,25(6):1445-1447,1450.

[124] 李军义,李仁发,孙家广.基于选择性冗余的测试数据自动生成算法[J].计算机研究与发展,2009,46(8):1371-1377.

[125] Burnim J,Sen K.Heuristics for scalable dynamic test generation[C]//Proceedings of the 2008 23rd IEEE/ACM international conference on automated software engineering.IEEE Computer Society,2008:443-446.

[126] Majumdar R,Sen K.Hybrid concolic testing[C]//Proceedings of 29th International Conference on Software Engineering(ICSE 2007).IEEE,2007:416-426.

[127] Lakhotia K,Mc Minn P,Harman M.Automated Test Data Generation for Coverage:Haven’t We Solved This Problem Yet?[C]//Proceedings of Testing:Academic and Industrial Conference-Practice and Research Techniques(TAIC PART'09),IEEE,2009:95-104.