메뉴 건너뛰기




Volumn 55, Issue 5, 2013, Pages 866-879

Metamorphic slice: An application in spectrum-based fault localization

Author keywords

Metamorphic slice; Metamorphic testing; Slice; Spectrum based fault localization; Test oracle

Indexed keywords

FAULT LOCALIZATION; METAMORPHIC SLICE; METAMORPHIC TESTING; SLICE; TEST ORACLES;

EID: 84875231138     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2012.08.008     Document Type: Conference Paper
Times cited : (98)

References (34)
  • 2
    • 0024631434 scopus 로고
    • Evaluating the effectiveness of reliability-assurance techniques
    • J.S. Collofello, and S.N. Woodfield Evaluating the effectiveness of reliability-assurance techniques Journal of Systems and Software 9 1989 191 195
    • (1989) Journal of Systems and Software , vol.9 , pp. 191-195
    • Collofello, J.S.1    Woodfield, S.N.2
  • 5
    • 0002383096 scopus 로고    scopus 로고
    • The use of program profiling for software maintenance with applications to the year 2000 problem
    • T. Reps, T. Ball, M. Das, and J. Larus The use of program profiling for software maintenance with applications to the year 2000 problem ACM SIGSOFT Software Engineering Notes 22 1997 432 449
    • (1997) ACM SIGSOFT Software Engineering Notes , vol.22 , pp. 432-449
    • Reps, T.1    Ball, T.2    Das, M.3    Larus, J.4
  • 11
    • 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 Journal of Systems and Software 83 2010 188 208
    • (2010) Journal of Systems and Software , vol.83 , pp. 188-208
    • Wong, W.E.1    Debroy, V.2    Choi, B.3
  • 18
    • 70449725267 scopus 로고    scopus 로고
    • Experimental study to compare the use of metamorphic testing and assertion checking
    • Z.Y. Zhang, W.K. Chan, T.H. Tse, and P.F. Hu Experimental study to compare the use of metamorphic testing and assertion checking Journal of Software 20 2009 2637 2654
    • (2009) Journal of Software , vol.20 , pp. 2637-2654
    • Zhang, Z.Y.1    Chan, W.K.2    Tse, T.H.3    Hu, P.F.4
  • 21
    • 63149180343 scopus 로고    scopus 로고
    • An innovative approach for testing bioinformatics programs using metamorphic testing
    • T.Y. Chen, J.W.K. Ho, H. Liu, and X.Y. Xie An innovative approach for testing bioinformatics programs using metamorphic testing BMC Bioinformatics 10 2009 24 35
    • (2009) BMC Bioinformatics , vol.10 , pp. 24-35
    • Chen, T.Y.1    Ho, J.W.K.2    Liu, H.3    Xie, X.Y.4
  • 23
    • 79551537874 scopus 로고    scopus 로고
    • Semi-proving: An integrated method for program proving, testing, and debugging
    • T.Y. Chen, T.H. Tse, and Z.Q. Zhou Semi-proving: an integrated method for program proving, testing, and debugging IEEE Transactions on Software Engineering 37 2011 109 125
    • (2011) IEEE Transactions on Software Engineering , vol.37 , pp. 109-125
    • Chen, T.Y.1    Tse, T.H.2    Zhou, Z.Q.3
  • 26
    • 21144446241 scopus 로고    scopus 로고
    • A survey of empirical results on program slicing
    • D. Binkley, and M. Harman A survey of empirical results on program slicing Advances in Computers 62 2004 105 178
    • (2004) Advances in Computers , vol.62 , pp. 105-178
    • Binkley, D.1    Harman, M.2
  • 27
    • 33947317857 scopus 로고    scopus 로고
    • SLOCCount < http://www.dwheeler.com/sloccount/sloccount.html >, 2004.
    • (2004) SLOCCount
  • 28
    • 84875212300 scopus 로고    scopus 로고
    • SIR < http://sir.unl.edu/php/index.php >, 2005.
    • (2005) SIR
  • 29
    • 53749083993 scopus 로고    scopus 로고
    • SeqMap: Mapping massive amount of oligonucleotides to the genome
    • H. Jiang, and W.H. Wong SeqMap: mapping massive amount of oligonucleotides to the genome Bioinformatics 24 2008 2395 2396
    • (2008) Bioinformatics , vol.24 , pp. 2395-2396
    • Jiang, H.1    Wong, W.H.2


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