메뉴 건너뛰기




Volumn , Issue , 2009, Pages

On reduced neighborhood mutation analysis using a single mutagenic operator

Author keywords

Constrained mutation; Mutation analysis; Reduced neighborhood mutation; Software testing; Sufficient mutant operators

Indexed keywords

CONSTRAINED MUTATION; MUTATION ANALYSIS;

EID: 70449707902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1566445.1566540     Document Type: Conference Paper
Times cited : (35)

References (20)
  • 1
    • 70449728280 scopus 로고    scopus 로고
    • H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Mar. 20 1989.
    • H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Mar. 20 1989.
  • 2
    • 34548093094 scopus 로고
    • Analysis of Program Test Data. Ph.D. dissertation, Yale University, New Haven, CT, May
    • T. A. Budd. Mutation Analysis of Program Test Data. Ph.D. dissertation, Yale University, New Haven, CT, May 1980.
    • (1980) Mutation
    • Budd, T.A.1
  • 3
    • 0020245867 scopus 로고
    • Two notions of correctness and their relation to testing
    • Nov
    • T. A. Budd and D. Angluin. Two notions of correctness and their relation to testing. Acta Inf., 18(1):31-45, Nov. 1982.
    • (1982) Acta Inf , vol.18 , Issue.1 , pp. 31-45
    • Budd, T.A.1    Angluin, D.2
  • 4
    • 0000008581 scopus 로고    scopus 로고
    • Proteum/IM 2.0: An integrated mutation testing environment
    • Norwell, MA, USA, Kluwer Academic Publishers
    • M. E. Delamaro and J. C. Maldonado. Proteum/IM 2.0: An integrated mutation testing environment. In Mutation testing for the new century, pages 91-101, Norwell, MA, USA, 2001. Kluwer Academic Publishers.
    • (2001) Mutation testing for the new century , pp. 91-101
    • Delamaro, M.E.1    Maldonado, J.C.2
  • 5
    • 0035279613 scopus 로고    scopus 로고
    • Interface mutation: An approach for integration testing
    • M. E. Delamaro, J. C. Maldonado, and A. P. Mathur. Interface mutation: An approach for integration testing. IEEE Trans. Softw. Eng., 27(3):228-247, 2001.
    • (2001) IEEE Trans. Softw. Eng , vol.27 , Issue.3 , pp. 228-247
    • Delamaro, M.E.1    Maldonado, J.C.2    Mathur, A.P.3
  • 6
    • 0017959155 scopus 로고
    • Hints on test data selection: Help for the practicing programmer
    • Apr
    • R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, Apr. 1978.
    • (1978) Computer , vol.11 , Issue.4 , pp. 34-41
    • DeMillo, R.A.1    Lipton, R.J.2    Sayward, F.G.3
  • 7
    • 0017517121 scopus 로고
    • Testing programs with the aid of a compiler
    • July
    • R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., SE-3(4):279-290, July 1977.
    • (1977) IEEE Trans. Softw. Eng , vol.SE-3 , Issue.4 , pp. 279-290
    • Hamlet, R.G.1
  • 10
    • 70449719454 scopus 로고    scopus 로고
    • W. Hsu, M. S. ahinoǧlu, and E. H. Spafford. An experimental approach to statistical mutation-based testing. Technical Report SERC-TR-63-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Apr. 10 1990.
    • W. Hsu, M. S. ahinoǧlu, and E. H. Spafford. An experimental approach to statistical mutation-based testing. Technical Report SERC-TR-63-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Apr. 10 1990.
  • 12
    • 85026355563 scopus 로고    scopus 로고
    • A. P. Mathur. Performance, effectiveness, and reliability issues in software testing. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference COMPSAC, pages 604-605, Tokyo, Japan, Sept. 11-13 1991. IEEE Computer Society Press
    • A. P. Mathur. Performance, effectiveness, and reliability issues in software testing. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference (COMPSAC), pages 604-605, Tokyo, Japan, Sept. 11-13 1991. IEEE Computer Society Press.
  • 17
    • 35348874144 scopus 로고
    • A Bayes sequential statistical procedure for approving software products
    • W. Ehrenberger, editor, Garmisch-Partenkirchen, Germany, Sept, Elsevier/North Holland, New York
    • M. S. ahinoǧlu and E. H. Spafford. A Bayes sequential statistical procedure for approving software products. In W. Ehrenberger, editor, Proceedings of the IFIP Conference on Approving Software Products (ASP-90), pages 43-56, Garmisch-Partenkirchen, Germany, Sept. 1990. Elsevier/North Holland, New York.
    • (1990) Proceedings of the IFIP Conference on Approving Software Products (ASP-90) , pp. 43-56
    • ahinoǧlu, M.S.1    Spafford, E.H.2
  • 18
    • 0020204093 scopus 로고
    • On testing non-testable programs
    • Nov
    • E. J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4):465-470, Nov. 1982.
    • (1982) The Computer Journal , vol.25 , Issue.4 , pp. 465-470
    • Weyuker, E.J.1
  • 19
    • 0029478820 scopus 로고
    • Reducing the cost of mutation testing: An empirical study
    • Dec
    • W. E. Wong and A. P. Mathur. Reducing the cost of mutation testing: An empirical study. The Journal of Systems and Software, 31(3):185-196, Dec. 1995.
    • (1995) The Journal of Systems and Software , vol.31 , Issue.3 , pp. 185-196
    • Wong, W.E.1    Mathur, A.P.2


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