Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

소프트웨어 테스팅을 위한 테스트 데이터의 자동 생성

  • Published : 2001.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Model Checking Clarke, E. M.;Grumberg, O.;Peled, D. A.
  2. Model Checking : An Approach to the State Expolsin Problem McMillan, K. I.
  3. Design and Validation of Computer Protocols Holzmann, G. J.
  4. Springer International Journal of Software Tools for Technology Transfer v.1 no.1;2 UPPAAL in a Nutshell Larsen, K;Pettersson, P.;Yi, W.
  5. Theorem Proving in IIigher Order Logics : 11th International Conference A Comparison of PVS and Isabelle/HOL Griffioen, D.;Huisman, M.
  6. The Computer Journal v.30 no.1 The Automatic Generation of Test Data Ince, D.
  7. Software-Practice and Experience v.29 no.2 The Dynamic Dormain Reduction Approach to Test Data Generation Offutt, J.;Pan, J.
  8. IEEE Trans. on Sorware Eng. v.2 no.3 A System to Generate Test Data and Symbolically Execute Program Clarke, L. A.
  9. Comm. ACM v.19 no.7 Symbolic Exceution and Program Testing King, J. C.
  10. IEEE Trans on Sorware Eng. v.4 no.4 Symbolic Testing and teh DISSECT Symbolic Evaluation System Howden
  11. IEEE Trans. on Sorware Eng. v.16 no.8 Automated Software Test Data Generation Korel, B.
  12. ACM Trans. on Software Engineering Methodology v.5 no.1 Teh Chaining Approach for Software Test Data Generation Roger, F.;Korel, B.
  13. IEEE Trans. on Software Eng. v.23 no.8 ADTEST : A Test Data Generation Suite For Ada Software Suystems Gallagher, M. J.;Narasimhan, V. L.
  14. Proceedings of International Conf. on Software Maintenance Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees Lapierre, S.;Merlo, E.;Antoniol, G.;Fiutem, R.;Tonella, P.
  15. RSTR-018-97-01 Generating Test Data by Evolution McGrew, G.;Michael, C.;Michael, S.
  16. Proceedings of International Conf. on Software Eng. and Knowledge Eng. Automatic Test Generation for Mutation Testing Using Genetic Algorithms Chung, I. S.
  17. Journal of Logic Programming v.20 no.19 Constraint Logic Programming : A Survey Jaffar, J. C.;Mather, M. J
  18. IEEE/ACM First International Workshop on Automated Program Analysis, Testing and Verification, 22nd International Conference on Software Engineering (ICSE 2000) ATGen : Automatic Test Data Generatin using Constraint Logic Programming and Symbolic Execution Meudec, C.
  19. Proceedings of ISSTA Automatic Test Data Generation using Constraint Solving Techniques Gotlieb, A.;Botella, B.;Rueher, M.
  20. ACM Trans on Programming Languages and Sustems v.13 no.4 Efficiently Computing Static Single Assignmet Form and the Control Dependence Graph Cytron, R.;Ferrante, J;Rosen, B. K.;Wegman, M. N.;Zadeck, F. K.
  21. Proceedings of Foundations of Sotfware Engineering Automated test data generation using an iterative relaxation method Gupt, N.;Mathur, A.;Soffa, M. L.
  22. Proc. of 4rh ACM Symp. on Principle of Programming Languages Systematic design of program analysis frameworks Cousot, P.;Cousot, R.
  23. 정보과학회 논문지 : 소프트웨어 및 응용 v.28 no.8 요약 해석을 이용한 프로그램 슬라이싱 정인상;창병모
  24. 한국정보과학회 추계학술발표회 요약 해석을 이용한 테스트 데이터 자동 생성 기법 한승희;강제성;정인상;권용래