메뉴 건너뛰기




Volumn , Issue , 2012, Pages 309-319

Isolating failure causes through test case generation

Author keywords

Automated debugging; failure classification; statistical debugging; test case generation

Indexed keywords

PROGRAM DEBUGGING; TESTING;

EID: 84865292473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/04000800.2336790     Document Type: Conference Paper
Times cited : (61)

References (43)
  • 1
    • 85171909892 scopus 로고    scopus 로고
    • http://sourceforge.net/tracker/?func=detail&aid=2487417&group-id= 97367&atid=617889.
  • 2
    • 85171939810 scopus 로고    scopus 로고
    • https://issues.apache.org/jira/browse/MATH-367.
  • 3
    • 85171912260 scopus 로고    scopus 로고
    • https://issues.apache.org/jira/browse/CODEC-98.
  • 4
    • 85171932239 scopus 로고    scopus 로고
    • http://sourceforge.net/tracker/?func=detail&aid=2889499&group-id= 97367&atid=617889.
  • 5
    • 85171905603 scopus 로고    scopus 로고
    • https://issues.apache.org/jira/browse/CODEC-22.
  • 6
    • 85171920655 scopus 로고    scopus 로고
    • http://sourceforge.net/tracker/?func=detail&aid=1788282&group-id= 97367&atid=617889.
  • 7
    • 71749091086 scopus 로고    scopus 로고
    • An observation-based model for fault localization
    • R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An observation-based model for fault localization. In WODA, pages 64-70, 2008.
    • (2008) WODA , pp. 64-70
    • Abreu, R.1    Zoeteweij, P.2    Van Gemund, A.J.C.3
  • 8
    • 80052895933 scopus 로고    scopus 로고
    • On parameter tuning in search based software engineering
    • A. Arcuri and G. Fraser. On parameter tuning in search based software engineering. In SSBSE, pages 33-47, 2011.
    • (2011) SSBSE , pp. 33-47
    • Arcuri, A.1    Fraser, G.2
  • 9
    • 77955877763 scopus 로고    scopus 로고
    • Directed test generation for effective fault localization
    • S. Artzi, J. Dolby, F. Tip, and M. Pistoia. Directed test generation for effective fault localization. In ISSTA, pages 49-60, 2010.
    • (2010) ISSTA , pp. 49-60
    • Artzi, S.1    Dolby, J.2    Tip, F.3    Pistoia, M.4
  • 10
    • 34247095930 scopus 로고    scopus 로고
    • Improving test suites for efficient fault localization
    • B. Baudry, F. Fleurey, and Y. L. Traon. Improving test suites for efficient fault localization. In ICSE, pages 82-91, 2006.
    • (2006) ICSE , pp. 82-91
    • Baudry, B.1    Fleurey, F.2    Traon, Y.L.3
  • 11
    • 80051930245 scopus 로고    scopus 로고
    • Minimizing reproduction of software failures
    • ISSTA
    • M. Burger and A. Zeller. Minimizing reproduction of software failures. In ISSTA, ISSTA, pages 221-231, 2011.
    • (2011) ISSTA , pp. 221-231
    • Burger, M.1    Zeller, A.2
  • 12
    • 85087536959 scopus 로고    scopus 로고
    • Locating causes of program failures
    • H. Cleve and A. Zeller. Locating causes of program failures. In ICSE, pages 342-351, 2005.
    • (2005) ICSE , pp. 342-351
    • Cleve, H.1    Zeller, A.2
  • 13
    • 80053016224 scopus 로고    scopus 로고
    • Evolutionary generation of whole test suites
    • G. Fraser and A. Arcuri. Evolutionary generation of whole test suites. In QSIC, pages 31-40, 2011.
    • (2011) QSIC , pp. 31-40
    • Fraser, G.1    Arcuri, A.2
  • 14
    • 84862311289 scopus 로고    scopus 로고
    • The seed is strong: Seeding strategies in search-based software testing
    • G. Fraser and A. Arcuri. The seed is strong: Seeding strategies in search-based software testing. In ICST, 2012.
    • (2012) ICST
    • Fraser, G.1    Arcuri, A.2
  • 15
    • 80051920892 scopus 로고    scopus 로고
    • Generating parameterized unit tests
    • G. Fraser and A. Zeller. Generating parameterized unit tests. In ISSTA, pages 364-374, 2011.
    • (2011) ISSTA , pp. 364-374
    • Fraser, G.1    Zeller, A.2
  • 16
    • 31844450371 scopus 로고    scopus 로고
    • Dart: Directed automated random testing
    • P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI, pages 213-223, 2005.
    • (2005) PLDI , pp. 213-223
    • Godefroid, P.1    Klarlund, N.2    Sen, K.3
  • 17
    • 85128730845 scopus 로고    scopus 로고
    • Automated whitebox fuzz testing
    • P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In NDSS, pages 151-166, 2008.
    • (2008) NDSS , pp. 151-166
    • Godefroid, P.1    Levin, M.Y.2    Molnar, D.3
  • 18
    • 34247099315 scopus 로고    scopus 로고
    • A similarity-aware approach to testing based fault localization
    • D. Hao, Y. Pan, L. Zhang, W. Zhao, H. Mei, and J. Sun. A similarity-aware approach to testing based fault localization. In ASE, pages 291-294, 2005.
    • (2005) ASE , pp. 291-294
    • Hao, D.1    Pan, Y.2    Zhang, L.3    Zhao, W.4    Mei, H.5    Sun, J.6
  • 19
    • 70349606642 scopus 로고    scopus 로고
    • Interactive fault localization using test information
    • D. Hao, L. Zhang, T. Xie, H. Mei, and J. Sun. Interactive fault localization using test information. J. Comput. Sci. Technol., 24(5):962-974, 2009.
    • (2009) J. Comput. Sci. Technol. , vol.24 , Issue.5 , pp. 962-974
    • Hao, D.1    Zhang, L.2    Xie, T.3    Mei, H.4    Sun, J.5
  • 20
    • 56249100105 scopus 로고    scopus 로고
    • Rapid: Identifying bug signatures to support debugging activities
    • H.-Y. Hsu, J. A. Jones, and A. Orso. Rapid: Identifying bug signatures to support debugging activities. In ASE, pages 439-442, 2008.
    • (2008) ASE , pp. 439-442
    • Hsu, H.-Y.1    Jones, J.A.2    Orso, A.3
  • 21
    • 0028166441 scopus 로고
    • Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
    • M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-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.4
  • 22
    • 56249091461 scopus 로고    scopus 로고
    • Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution
    • K. Inkumsah and T. Xie. Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In ASE, pages 297-306, 2008.
    • (2008) ASE , pp. 297-306
    • Inkumsah, K.1    Xie, T.2
  • 23
    • 77949891686 scopus 로고    scopus 로고
    • Context-aware statistical debugging: From bug predictors to faulty control flow paths
    • L. Jiang and Z. Su. Context-aware statistical debugging: from bug predictors to faulty control flow paths. In ASE, pages 184-193, 2007.
    • (2007) ASE , pp. 184-193
    • Jiang, L.1    Su, Z.2
  • 24
    • 0036040176 scopus 로고    scopus 로고
    • Visualization of test information to assist fault localization
    • J. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE, pages 467-477, 2002.
    • (2002) ICSE , pp. 467-477
    • Jones, J.1    Harrold, M.J.2    Stasko, J.3
  • 25
    • 84892468995 scopus 로고    scopus 로고
    • Finding causes of program output with the Java Whyline
    • A. J. Ko and B. A. Myers. Finding causes of program output with the Java Whyline. In CHI, pages 1569-1578, 2009.
    • (2009) CHI , pp. 1569-1578
    • Ko, A.J.1    Myers, B.A.2
  • 26
    • 0038716503 scopus 로고    scopus 로고
    • Bug isolation via remote program sampling
    • B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, pages 141-154, 2003.
    • (2003) PLDI , pp. 141-154
    • Liblit, B.1    Aiken, A.2    Zheng, A.X.3    Jordan, M.I.4
  • 28
    • 50649125071 scopus 로고    scopus 로고
    • Failure proximity: A fault localization-based approach
    • C. Liu and J. Han. Failure proximity: A fault localization-based approach. In FSE, pages 286-295, 2006.
    • (2006) FSE , pp. 286-295
    • Liu, C.1    Han, J.2
  • 29
    • 32344442835 scopus 로고    scopus 로고
    • SOBER: Statistical model-based bug localization
    • C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. SOBER: Statistical model-based bug localization. In ESEC/FSE, pages 286-295, 2005.
    • (2005) ESEC/FSE , pp. 286-295
    • Liu, C.1    Yan, X.2    Fei, L.3    Han, J.4    Midkiff, S.P.5
  • 30
    • 84855450660 scopus 로고    scopus 로고
    • Combining search-based and constraint-based testing
    • J. Malburg and G. Fraser. Combining search-based and constraint-based testing. In ASE, 2011.
    • (2011) ASE
    • Malburg, J.1    Fraser, G.2
  • 31
    • 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, 14(2):105-156, 2004.
    • (2004) Software Testing, Verification and Reliability , vol.14 , Issue.2 , pp. 105-156
    • McMinn, P.1
  • 33
    • 34548785574 scopus 로고    scopus 로고
    • Feedback-directed random test generation
    • C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed 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
  • 34
    • 80051932555 scopus 로고    scopus 로고
    • Are automated debugging techniques actually helping programmers?
    • C. Parnin and A. Orso. Are automated debugging techniques actually helping programmers? In ISSTA, pages 199-209, 2011.
    • (2011) ISSTA , pp. 199-209
    • Parnin, C.1    Orso, A.2
  • 35
    • 43149111827 scopus 로고    scopus 로고
    • Pex - White box test generation for.NET
    • N. Tillmann and N. J. de Halleux. Pex - white box test generation for .NET. In TAP, pages 134-253, 2008.
    • (2008) TAP , pp. 134-253
    • Tillmann, N.1    De Halleux, N.J.2
  • 36
    • 85171915089 scopus 로고
    • On testing non-testable programs
    • E. J. Weyuker. On testing non-testable programs. Computer, 25(4):5-10, 1982.
    • (1982) Computer , vol.25 , Issue.4 , pp. 5-10
    • Weyuker, E.J.1
  • 37
    • 73149083478 scopus 로고    scopus 로고
    • A family of code coverage-based heuristics for effective fault localization
    • W. E. Wong, V. Debroy, and B. Choi. A family of code coverage-based heuristics for effective fault localization. The Journal of Systems and Software, 83:188-208, 2010.
    • (2010) The Journal of Systems and Software , vol.83 , pp. 188-208
    • Wong, W.E.1    Debroy, V.2    Choi, B.3
  • 38
    • 84860400978 scopus 로고    scopus 로고
    • Yesterday, my program worked. Today, it does not. Why?
    • A. Zeller. Yesterday, my program worked. today, it does not. why? In ESEC/FSE, pages 253-267, 1999.
    • (1999) ESEC/FSE , pp. 253-267
    • Zeller, A.1
  • 42
    • 84855424626 scopus 로고    scopus 로고
    • Automated documentation inference to explain failed tests
    • S. Zhang, C. Zhang, and M. D. Ernst. Automated documentation inference to explain failed tests. In ASE, pages 63-72, 2011.
    • (2011) ASE , pp. 63-72
    • Zhang, S.1    Zhang, C.2    Ernst, M.D.3
  • 43
    • 34247096141 scopus 로고    scopus 로고
    • Locating faults through automated predicate switching
    • X. Zhang, N. Gupta, and R. Gupta. Locating faults through automated predicate switching. In ICSE, pages 272-281, 2006.
    • (2006) ICSE , pp. 272-281
    • Zhang, X.1    Gupta, N.2    Gupta, R.3


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