1 |
J. Edvardsson, "A Survey on Automatic Test Data Generation", in Proceedings of the Second Conf. on Computer Science and Engineering, 1999, pp.21-28.
|
2 |
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.
|
3 |
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.
DOI
ScienceOn
|
4 |
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.
|
5 |
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.
DOI
ScienceOn
|
6 |
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.
DOI
|
7 |
P. McMinn, "Evolutionary Search for Test Data in the Presence of State Behaviour", Ph.D. dissertation, The University of Sheffield, 2005.
|
8 |
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.
|
9 |
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.
|
10 |
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.
DOI
ScienceOn
|
11 |
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.
과학기술학회마을
DOI
ScienceOn
|
12 |
B. Korel, "Automated Software Test Data Generation", IEEE Trans. on Software Eng, Vol.16. No.8. pp.870-879, 1990.
DOI
ScienceOn
|
13 |
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.
과학기술학회마을
|
14 |
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.
|
15 |
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.
|
16 |
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.
DOI
ScienceOn
|
17 |
http://www.pairwise.org.
|
18 |
I. S. Chung. "HanCC: A Transformation and Instrumentation Tool for Automated Test Data Generation of C Programs", Hansung University Engineering Research, Vol.5, 2012.
|