References
- ANDREOU, A. S., ECONOMIDES, K. A., AND SOFOKLEOUS, A. A. 2007. An automatic software test-data generation scheme based on data flow criteria and genetic algorithms. In Proceedings of the 7th IEEE International Conference on Computer and Information Technology, 867-872.
- BEIZER, B. 1990. Software Testing Techniques(2nd edition). Van Nostrand Reinhold.
- BODIK, R., GUPTA, R., AND SOFFA, M. L. 1997. Refining data flow information using infeasible paths. In Proceedings of the Sixth European Software Engineering Conference (ESEC/ FSE 97), M. Jazayeri and H. Schauer, Eds. Lecture Notes in Computer Science 1013, Springer-Verlag, 361-377.
- CLARKE, L. A. 1976. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, 2(3):215-222.
- COWARD, P. D. 1988. Symbolic execution systems-a review. Software Engineering Journal 3, 6, 229-239. https://doi.org/10.1049/sej.1988.0029
- EDVARDSSON, J. 1999. A survey on automatic test data generation. In Proceedings of the 2nd Conference on Computer Science and Engineering in Linkoping, 21-28.
- FERGUSON, R. AND KOREL, B. 1995. Software test data generation using the chaining approach. In ITC. IEEE Computer Society, 703-709.
- GALLAGHER, M. J. AND NARASIMHAN, V. L. 1997. ADTEST: A test data generation suite for ada software systems. IEEE Transactions on Software Engineering, 23(8):473-484. https://doi.org/10.1109/32.624304
- GEN, M. AND CHENG, R. 1997. Genetic Algorithms and Engineering Design. John Wiley and Sons, Inc., New York.
- GUPTA, N., CHO, Y., AND HOSSAIN, M. Z. 2004. Experiments with una for solving linear constraints in real variables. In Proceedings of the 2004 ACM symposium on Applied computing. ACM, 1013-1020.
- GUPTA, N., MATHUR, A. P., AND SOFFA, M. L. 1998. Automated test data generation using an iterative relaxation method. In Proceedings of the ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering (FSE-98). Software Engineering Notes, 23(6), ACM Press, 231-244.
- GUPTA, N., MATHUR, A. P., AND SOFFA, M. L. 1999. UNA based iterative test data generation and its evaluation. In 14th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press, 224-234.
- GUPTA, N., MATHUR, A. P., AND SOFFA, M. L. 2000. Generating test data for branch coverage. In Proceedings of IEEE International Conference on ASE, 219-228.
- KOREL, B. 1990a. Automated software test data generation. IEEE Transactions on Software Engineering, 16(8):870-879. https://doi.org/10.1109/32.57624
- KOREL, B. 1990b. A dynamic approach of test data generation. In Conference on Software Maintenance, 311-317.
- LAPIERRE, S., MERLO, E., SAVARD, G., ANTONIOL, G., FIUTEM, R., AND TONELLA, P. 1999a. Automatic unit test data generation using mixed-integer linear programming and execution trees. In Proceedings of IEEE International Conference on Software Maintenance. IEEE Computer Society Press, 189-198.
- LAPIERRE, S., MERLO, E., SAVARD, G., ANTONIOL, G., FIUTEM, R., AND TONELLA, P. 1999b. Automatic unit test data generation using mixed-integer linear programming and execution trees. In Proceedings of IEEE International Conference on Software Maintenance(ICSM '99).
- MCCABE, T. J. 1976. A complexity measure. IEEE Transactions on Software Engineering, 2(4): 308-320.
- MEUDEC, C. 2001. ATGen: automatic test data generation using constraint logic programming and symbolic execution. Software Testing, Verification and Reliability, 11(2):81-96. https://doi.org/10.1002/stvr.225
- MICHAEL, C. C., MCGRAW, G., AND SCHATZ, M. 2001. Generating software test data by evolution. IEEE Trans. Software Eng., 27(12):1085-1110. https://doi.org/10.1109/32.988709
- OFFUTT, A. J., LEE, A., ROTHERMEL, G., UNTCH, R. H., AND ZAPF, C. 1996. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology, 5(2):99-118. https://doi.org/10.1145/227607.227610
- PARGAS, R. P., HARROLD, M. J., AND PECK, R. 1999. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 9(4):263-282. https://doi.org/10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
- SCHEID, F. 1968. Numerical Analysis, Schaum's Outline Series. McGraw-Hill Book Company.
- STHAMER, H. H. 1995. The automatic generation of software test data using genetic algorithms. Ph.D. thesis, University of Glamorgan.