| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] G.Tassey, The economics impact of inadequate infrastructure for software testing, National Institute of Standards and Technology report, 2002 |
Sách, tạp chí |
| Tiêu đề: |
National Institute of Standards and Technology report |
|
| [2] B.Bezier, Software testing techniques, Van Nostrand Reinhold 2nd edition, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Van Nostrand Reinhold 2nd edition |
|
| [3] G.C.King, Symbolic Execution and Program Testing, Communications of the ACM, volume 19, number 7, 1976 |
Sách, tạp chí |
| Tiêu đề: |
Communications of the ACM, volume 19, number 7 |
|
| [4] L.A.Clark, A system to generate test data and symbolically execute programs, Journal IEEE Transactions on Software Engineering, 1976 |
Sách, tạp chí |
| Tiêu đề: |
Journal IEEE Transactions on Software Engineering |
|
| [5] C.V.Ramamoorthy, S.F.Ho and W.T.Chen, On the automated generation of program test data, In proceeding of the 2nd international conference on Software Engineering, 1976 |
Sách, tạp chí |
| Tiêu đề: |
In proceeding of the 2nd international conference on Software Engineering |
|
| [6] W.E.Howden, Symbolic testing and the DISSECT symbolic evaluation system, Journal IEEE Transactions on Software Engineering, 1977 |
Sách, tạp chí |
| Tiêu đề: |
Journal IEEE Transactions on Software Engineering |
|
| [7] B.F.Jones, H.-H.Sthamer and D.E.Eyres, Automatic structural testing using genetic algorithms, Journal Software Engineering, 1996 |
Sách, tạp chí |
| Tiêu đề: |
Journal Software Engineering |
|
| [8] N.Tracey, J.Clark and K.Mander, Automated Program Flaw Finding using Simulated Annealing, In the proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 1998 |
Sách, tạp chí |
| Tiêu đề: |
In the proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) |
|
| [9] N.Mansour and M.Salame, Data Generation for Path Testing, Journal Software Quality, 2004 |
Sách, tạp chí |
| Tiêu đề: |
Journal Software Quality |
|
| [10] T.H.Nguyen’s thesis, Nghiên cứu và phát triển hệ thống Slicing-Based Testing cho chương trình C/C++, University of Technology, 2012 |
Sách, tạp chí |
| Tiêu đề: |
University of Technology |
|
| [11] P.Mishra, B.Shankar and P.Mishra, Eccentric Test Data Generation for Path Testing Using Genetic Algorithm, In proceeding of the International Conference on Computer Engineering and Applications, 2009 |
Sách, tạp chí |
| Tiêu đề: |
In proceeding of the International Conference on Computer Engineering and Applications |
|
| [12] B.Korel, A dynamic approach of automated test data generation, Conference on Software Maintenance, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Conference on Software Maintenance |
|
| [13] C.C.Micheal, G.McGraw and M.A.Schatz, Generating Software Test Data by Evolution, Journal IEEE Transactions on Software Engineering, 2001 |
Sách, tạp chí |
| Tiêu đề: |
Journal IEEE Transactions on Software Engineering |
|
| [14] R.Blanco, J.Tuya and B.Adenso-díaz, Automated test data generation using a Scatter Search approach, Journal of Information and Software Technology, 2009 |
Sách, tạp chí |
| Tiêu đề: |
Journal of Information and Software Technology |
|
| [15] H.Tahbildar and B.Kalita, Heuristic approach of automated test data generation for programs having array of different dimensions and loops with variable number of iteration, International Journal of Software Engineering & Applications, 2010 |
Sách, tạp chí |
| Tiêu đề: |
International Journal of Software Engineering & Applications |
|
| [16] N.Gupta, A.P.Mathur and M.L.Soffa, Automated test data generation using an iterative relaxation method, In proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, 1998 |
Sách, tạp chí |
| Tiêu đề: |
In proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering |
|
| [17] A.Gotlieb, B.Botella and M.Rueher, Automatic test data generation using constraint solving techniques, In proceedings of the ACM SIGSOFT international symposium on Software testing and analysis, 1998 |
Sách, tạp chí |
| Tiêu đề: |
In proceedings of the ACM SIGSOFT international symposium on Software testing and analysis |
|
| [18] M.Xiao, M.El-Attar, M.Reformat and J.Miller, Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques, Journal Empirical Software Engineering, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Journal Empirical Software Engineering |
|
| [21] Software Testing, available at http://en.wikipedia.org/wiki/Software_testing |
Link |
|
| [22] Abstract Syntax tree, available at http://en.wikipedia.org/wiki/Abstract_syntax_tree [23] Control Flow Graph, available at http://en.wikipedia.org/wiki/Control_flow_graph[24] SMT solvers, http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories |
Link |
|