메뉴 건너뛰기




Volumn , Issue , 2009, Pages 219-222

Test selection for result inspection via mining predicate rules

Author keywords

[No Author keywords available]

Indexed keywords

ON DYNAMICS; OPERATIONAL MODEL; RUNTIMES; SIEMENS; TEST ORACLES; TEST SELECTION;

EID: 70349671545     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE-COMPANION.2009.5070986     Document Type: Conference Paper
Times cited : (11)

References (15)
  • 1
    • 84869617255 scopus 로고    scopus 로고
    • http://sir.unl.edu/php/index.php.
  • 2
    • 0035783436 scopus 로고    scopus 로고
    • Pursuing failure: The distribution of program failures in a profile space
    • W. Dickinson, D. Leon, and A. Podgurski. Pursuing failure: the distribution of program failures in a profile space. In ESEC / SIGSOFT FSE, pages 246-255, 2001.
    • (2001) ESEC / SIGSOFT FSE , pp. 246-255
    • Dickinson, W.1    Leon, D.2    Podgurski, A.3
  • 3
    • 0035250541 scopus 로고    scopus 로고
    • Dynamically discovering likely program invariants to support program evolution
    • M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Eng., 27(2):99- 123, 2001.
    • (2001) IEEE Trans. Software Eng. , vol.27 , Issue.2 , pp. 99-123
    • Ernst, M.D.1    Cockrell, J.2    Griswold, W.G.3    Notkin, D.4
  • 4
    • 0036038345 scopus 로고    scopus 로고
    • Tracking down software bugs using automatic anomaly detection
    • S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, pages 291-301, 2002.
    • (2002) ICSE , pp. 291-301
    • Hangal, S.1    Lam, M.S.2
  • 5
    • 0028166441 scopus 로고
    • Experiments of the effectiveness of dataflow- and control flow-based test adequacy criteria
    • M. Hutchins, H. Foster, T. Goradia, and T. J. Ostrand. Experiments of the effectiveness of dataflow- and control flow-based test adequacy criteria. In ICSE, pages 191-200, 1994.
    • (1994) ICSE , pp. 191-200
    • Hutchins, M.1    Foster, H.2    Goradia, T.3    Ostrand, T.J.4
  • 6
    • 33745787285 scopus 로고    scopus 로고
    • PhD thesis, University of California, Berkeley, Dec.
    • B. R. Liblit. Cooperative Bug Isolation. PhD thesis, University of California, Berkeley, Dec. 2004.
    • (2004) Cooperative Bug Isolation
    • Liblit, B.R.1
  • 7
    • 34548272571 scopus 로고    scopus 로고
    • Statistical debugging using compound boolean predicates
    • P. A. Nainar, T. Chen, J. Rosin, and B. Liblit. Statistical debugging using compound boolean predicates. In ISSTA, pages 5-15, 2007.
    • (2007) ISSTA , pp. 5-15
    • Nainar, P.A.1    Chen, T.2    Rosin, J.3    Liblit, B.4
  • 8
    • 15844405025 scopus 로고    scopus 로고
    • Scaling regression testing to large software systems
    • A. Orso, N. Shi, and M. J. Harrold. Scaling regression testing to large software systems. In SIGSOFT FSE, pages 241-251, 2004.
    • (2004) SIGSOFT FSE , pp. 241-251
    • Orso, A.1    Shi, N.2    Harrold, M.J.3
  • 9
    • 26444584996 scopus 로고    scopus 로고
    • Eclat: Automatic generation and classification of test inputs
    • C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP, pages 504-527, 2005.
    • (2005) ECOOP , pp. 504-527
    • Pacheco, C.1    Ernst, M.D.2
  • 10
    • 34548785574 scopus 로고    scopus 로고
    • Feedbackdirected random test generation
    • C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedbackdirected random test generation. In ICSE, pages 75-84, 2007.
    • (2007) ICSE , pp. 75-84
    • Pacheco, C.1    Lahiri, S.K.2    Ernst, M.D.3    Ball, T.4
  • 12
    • 32344447459 scopus 로고    scopus 로고
    • CUTE: A concolic unit testing engine for C
    • K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In ESEC/SIGSOFT FSE, pages 263-272, 2005.
    • (2005) ESEC/SIGSOFT FSE , pp. 263-272
    • Sen, K.1    Marinov, D.2    Agha, G.3
  • 13
    • 23744462328 scopus 로고    scopus 로고
    • Test input generation with Java PathFinder
    • W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA, pages 97-107, 2004.
    • (2004) ISSTA , pp. 97-107
    • Visser, W.1    Pasareanu, C.S.2    Khurshid, S.3
  • 14
    • 85117374664 scopus 로고    scopus 로고
    • Tool-assisted unit test selection based on operational violations
    • T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In ASE, pages 40-48, 2003.
    • (2003) ASE , pp. 40-48
    • Xie, T.1    Notkin, D.2
  • 15
    • 33750949210 scopus 로고    scopus 로고
    • Automatically identifying special and common unit tests for object-oriented programs
    • T. Xie and D. Notkin. Automatically identifying special and common unit tests for object-oriented programs. In ISSRE, pages 277-287, 2005.
    • (2005) ISSRE , pp. 277-287
    • Xie, T.1    Notkin, D.2


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