참고문헌
- 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 https://doi.org/10.1049/ip-sen:20030559
- 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
- J. Edvardsson, 'A Survey on Automatic Test Data Generation', In Proc. the Second Conf. on Computer Science and Engineering, pp.21-28, 1999
- M. W. Moskewicz, Y. Zhao, L. Zhang, and Malik, 'Chaff: Engineering an Efficient SAT solver', In Proc. 38th Design Automation Conference(DAC), pp.530-535, 2001
- E. Goldgerg, and Y. Nivikov, 'BerkMin: A Fast and Robust SAT solver', In DATE, pp.142-149, 2002 https://doi.org/10.1109/DATE.2002.998262
- 정인상, 'SAT에 기반한 포인터가 있는 프로그램을 위한 목적지향 테스트 데이터 생성', 인터넷정보학회논문지, 제9권 2호, pp.89-105, 2008
- D. Jackson, 'Alloy: A light weight object modeling notation', Technical Report 797, MIT Lab for Computer Science, Feb., 2000 https://doi.org/10.1145/505145.505149
- D. Jackson, Alloy 3.0 Reference Manual, http://alloy.mit.edu, 2004
- D. Jackson., Alloy 4.0 Quickstart guide, http://alloy.mit.edu, 2007
- A. Baresel, and H. Sthamer, 'Evolutionary Testing of Flag Conditions', In Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'03), pp.2442-2454, Chicago, USA, July, 2003 https://doi.org/10.1007/3-540-45110-2_148
- 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), pp. 108-118, Boston, USA, July, 2004 https://doi.org/10.1145/1013886.1007527
- A. Andoni, D. Daniliuc, S. Khurshid, and D. Marinov, 'Evaluating the Small Scope Hypoththesis', Technical Report 921, MIT Lab for Computer Science, Feb., 2003
피인용 문헌
- Automated Black-Box Test Case Generation for MC/DC with SAT vol.16D, pp.6, 2009, https://doi.org/10.3745/KIPSTD.2009.16D.6.911