References
- J. Edvardsson, "A Survey on Automatic Test Data Generation", in Proceedings of the Second Conf. on Computer Science and Engineering, 1999, pp.21-28.
- J. Clarke, J. Dolado,, M. Harman,, R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd, "Reformulating Software Engineering as a Search Problem", IEE Proceedings-Software, Vol.5, No.1, pp.161-175, 2003.
- J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary Test Environment for Automatic Structural Testing", Information and Software Test Technology, Vol.43, No.14, pp.841-854, 2001. https://doi.org/10.1016/S0950-5849(01)00190-2
- L. Bottaci, "Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithm", in Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'02), pp. 1337-1342, NY, USA, July, 2002.
- M. Harman, R. Hu, R. Hierons, A. Baresel, and M. Sthamer, "Improving Evolutionary Testing by Flag Removal", Information and Software Test Technology, Vol.43, No.14, pp.841-854, 2001. https://doi.org/10.1016/S0950-5849(01)00190-2
- M. Alshraideh, L. Bottachi, B. Mahafzah, Using program data-state scarcity to guide automatic test data generation, Software Quality Journal, Vol.18, No.1, pp.109-144, 2010. https://doi.org/10.1007/s11219-009-9083-x
- P. McMinn, "Evolutionary Search for Test Data in the Presence of State Behaviour", Ph.D. dissertation, The University of Sheffield, 2005.
- P. Godefroid, N. Klarlund, K. Sen, "DART: Directed automated random testing", in Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, 2005, pp.213-223.
- J. Burnim, K. Sen, "Heuristics for dynamic test generation", in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008, pp. 443-446.
- K. Lakhotia, P. McMinn and M. Harman, "An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN", Journal of Systems and Software, Vol.83, No.12, pp.2379-2391, 2010. https://doi.org/10.1016/j.jss.2010.07.026
- I. S. Chung, "Automated Test Data Generation Based on Branch Coverage for Testing C Programs", Journal of the Korea Contents Association, Vol.12, No.11, pp.39-48, 2012. https://doi.org/10.5392/JKCA.2012.12.11.039
- B. Korel, "Automated Software Test Data Generation", IEEE Trans. on Software Eng, Vol.16. No.8. pp.870-879, 1990. https://doi.org/10.1109/32.57624
- Y. H. Kim, M. Z. Kim, and Y. K. Jang, "CREST-BV: An Improved Concolic Testing Technique with Bitwise Operations Support for Embedded Software", in Proceedings of KCC, 2012, pp.120-122.
- A. Baresel, and H. Sthamer, "Evolutionary Testing of Flag Conditions", in Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'03), Chicago, USA, July 2003, pp.2442-2454.
- A. Baresel, D. Binkley, M. Harman. and B. Korel, "Evolutionary Testing in the Presence of Loop Assigned Flags: A Testability TRansformation Approach", in Proc. of the ACM SIGSOFT International Symp. on Software Testing and Analysis(ISSTA'04), Boston, USA, July 2004, pp.108-118.
- M. J. Gallagher, M. J., V. L. Narasimhan. "ADTEST: A Test Data Generation Suite for Ada Software Systems", IEEE Trans. on Software Eng, Vol.23, No.8, pp.473-484, 1997. https://doi.org/10.1109/32.624304
- http://www.pairwise.org.
- I. S. Chung. "HanCC: A Transformation and Instrumentation Tool for Automated Test Data Generation of C Programs", Hansung University Engineering Research, Vol.5, 2012.