메뉴 건너뛰기




Volumn 2014, Issue , 2014, Pages

A model independent S/W framework for search-based software testing

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; COMPUTER PROGRAM; FEEDBACK SYSTEM; GENETIC ALGORITHM; SEARCH BASED SOFTWARE TESTING; ALGORITHM; COMPUTER SIMULATION; HUMAN;

EID: 84929940457     PISSN: 23566140     EISSN: 1537744X     Source Type: Journal    
DOI: 10.1155/2014/126348     Document Type: Article
Times cited : (5)

References (35)
  • 2
    • 0033170385 scopus 로고    scopus 로고
    • Test cases generation from UML state diagrams
    • Y. G. Kim, H. S. Hong, D. H. Bae, and S. D. Cha, "Test cases generation from UML state diagrams, " IEE Proceedings: Software, vol. 146, no. 4, pp. 187-192, 1999.
    • (1999) IEE Proceedings: Software , vol.146 , Issue.4 , pp. 187-192
    • Kim, Y.G.1    Hong, H.S.2    Bae, D.H.3    Cha, S.D.4
  • 6
    • 3142725712 scopus 로고    scopus 로고
    • Search-based software test data generation: A survey
    • P. McMinn, "Search-based software test data generation: a survey, " Software Testing Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
    • (2004) Software Testing Verification and Reliability , vol.14 , Issue.2 , pp. 105-156
    • McMinn, P.1
  • 8
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • ACM
    • J. C. King, "Symbolic execution and program testing, " Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
    • (1976) Communications of the , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 10
    • 0016674309 scopus 로고
    • SELECT-a formal system for testing and debugging programs by symbolic execution
    • R. S. Boyer, B. Elspas, and K. N. Levitt, "SELECT-a formal system for testing and debugging programs by symbolic execution, " ACM SigPlan Notices, vol. 10, no. 6, pp. 234-245, 1975.
    • (1975) ACM SigPlan Notices , vol.10 , Issue.6 , pp. 234-245
    • Boyer, R.S.1    Elspas, B.2    Levitt, K.N.3
  • 13
    • 0033077271 scopus 로고    scopus 로고
    • The dynamic domain reduction procedure for test data generation
    • A. J. Offutt, Z. Jin, and J. Pan, "The dynamic domain reduction procedure for test data generation, " Software-Practice and Experience, vol. 29, no. 2, pp. 167-193, 1999.
    • (1999) Software-Practice and Experience , vol.29 , Issue.2 , pp. 167-193
    • Offutt, A.J.1    Jin, Z.2    Pan, J.3
  • 15
    • 85030139012 scopus 로고    scopus 로고
    • Automated test data generation for programs with procedures
    • B. Korel, "Automated test data generation for programs with procedures, " ACMSIGSOFT Software Engineering Notes, vol. 21, no. 3, pp. 209-215, 1996.
    • (1996) ACMSIGSOFT Software Engineering Notes , vol.21 , Issue.3 , pp. 209-215
    • Korel, B.1
  • 18
    • 77953783952 scopus 로고    scopus 로고
    • Computer aided software testing using genetic algorithms
    • Software Research Institute, San Francisco, Calif, USA
    • M. Roper, "Computer aided software testing using genetic algorithms, " in Proceedings of the 10th International Software Quality Week (QW 97), Software Research Institute, San Francisco, Calif, USA, 1997.
    • (1997) Proceedings of the 10th International Software Quality Week (QW 97)
    • Roper, M.1
  • 19
    • 0006558050 scopus 로고
    • The automatic generation of test data using genetic algorithms
    • A. Watkins, "The automatic generation of test data using genetic algorithms, " in Proceedings of the 4th Software Quality Conference, vol. 2, pp. 300-309, 1995.
    • (1995) Proceedings of the 4th Software Quality Conference , vol.2 , pp. 300-309
    • Watkins, A.1
  • 21
    • 0030234676 scopus 로고    scopus 로고
    • Automatic structural testing using genetic algorithms
    • B. F. Jones, H.-H. Sthamer, and D. E. Eyres, "Automatic structural testing using genetic algorithms, " Software Engineering Journal, vol. 11, no. 5, pp. 299-306, 1996.
    • (1996) Software Engineering Journal , vol.11 , Issue.5 , pp. 299-306
    • Jones, B.F.1    Sthamer, H.-H.2    Eyres, D.E.3
  • 24
    • 0010731513 scopus 로고    scopus 로고
    • A searchbased automated test-data generation framework for safety critical systems
    • New Directions
    • N. Tracey, J. Clark, J. McDermid, and K. Mander, "A searchbased automated test-data generation framework for safety critical systems, " in Systems Engineering for Business Process Change: New Directions, pp. 174-213, 2002.
    • (2002) Systems Engineering for Business Process Change , pp. 174-213
    • Tracey, N.1    Clark, J.2    McDermid, J.3    Mander, K.4
  • 25
    • 0035892582 scopus 로고    scopus 로고
    • Evolutionary test environment for automatic structural testing
    • J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing, " Information and Software Technology, vol. 43, no. 14, pp. 841-854, 2001.
    • (2001) Information and Software Technology , vol.43 , Issue.14 , pp. 841-854
    • Wegener, J.1    Baresel, A.2    Sthamer, H.3
  • 27
    • 22944478376 scopus 로고    scopus 로고
    • Constructing multiple unique input/output sequences using metaheuristic optimisation techniques
    • Q. Guo, R. M. Hierons, M. Harman, and K. Derderian, "Constructing multiple unique input/output sequences using metaheuristic optimisation techniques, " IEE Proceedings: Software, vol. 152, no. 3, pp. 127-140, 2005.
    • (2005) IEE Proceedings: Software , vol.152 , Issue.3 , pp. 127-140
    • Guo, Q.1    Hierons, R.M.2    Harman, M.3    Derderian, K.4
  • 30
    • 36849007497 scopus 로고    scopus 로고
    • A search-based framework for automatic testing of MATLAB/Simulink models
    • Y. Zhan and J. A. Clark, "A search-based framework for automatic testing of MATLAB/Simulink models, " Journal of Systems and Software, vol. 81, no. 2, pp. 262-285, 2008.
    • (2008) Journal of Systems and Software , vol.81 , Issue.2 , pp. 262-285
    • Zhan, Y.1    Clark, J.A.2
  • 31
    • 35048852992 scopus 로고    scopus 로고
    • Search based automatic test-data generation at an architectural level
    • Y. Zhan and J. Clark, "Search based automatic test-data generation at an architectural level, " Genetic and Evolutionary Computation-GECCO 2004, vol. 3103, pp. 1413-1424, 2004.
    • (2004) Genetic and Evolutionary Computation-GECCO , vol.3103 , pp. 1413-1424
    • Zhan, Y.1    Clark, J.2
  • 35
    • 0001195181 scopus 로고
    • Evidence on economies of scale in software development
    • R. D. Banker, H. Chang, and C. F. Kemerer, "Evidence on economies of scale in software development, " Information and Software Technology, vol. 36, no. 5, pp. 275-282, 1994.
    • (1994) Information and Software Technology , vol.36 , Issue.5 , pp. 275-282
    • Banker, R.D.1    Chang, H.2    Kemerer, C.F.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.