메뉴 건너뛰기
IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009
Volumn , Issue , 2009, Pages 177-181
Mutation analysis of parameterized unit tests
Author keywords

[No Author keywords available]
Indexed keywords

BLACK BOXES; FALSE NEGATIVES; MUTATION ANALYSIS; PARAMETERIZED; TEST EFFECTIVENESS; TEST EXECUTION; TEST INPUTS; TEST METHOD; UNIT TESTING; UNIT TESTS;
EID: 69949093482     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2009.43     Document Type: Conference Paper
Times cited : (11)
References (9)
  • 1
    • 84962960199 scopus 로고    scopus 로고
    • A specification-based coverage metric to evaluate test sets
    • P. Ammann and P. Black. A specification-based coverage metric to evaluate test sets. In Proc. HASE, pages 239-248, 1999.
    • (1999) Proc. HASE , pp. 239-248
    • Ammann, P.1    Black, P.2
  • 2
    • 85022152234 scopus 로고    scopus 로고
    • Using model checking to generate tests from specifications
    • P. Ammann, P. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proc. ICFEM, pages 46-54, 1998.
    • (1998) Proc. ICFEM , pp. 46-54
    • Ammann, P.1    Black, P.2    Majurski, W.3
  • 3
    • 84960845192 scopus 로고    scopus 로고
    • Mutation operators for specifications
    • P. Black, V. Okun, and Y. Yesha. Mutation operators for specifications. In Proc. ASE, pages 81-88, 2000.
    • (2000) Proc. ASE , pp. 81-88
    • Black, P.1    Okun, V.2    Yesha, Y.3
  • 4
    • 0017959155 scopus 로고
    • Hints on test data selection: Help for the practicing programmer
    • April
    • R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
    • (1978) IEEE Computer , vol.11 , Issue.4 , pp. 34-41
    • DeMillo, R.A.1    Lipton, R.J.2    Sayward, F.G.3
  • 5
    • 35248822793 scopus 로고    scopus 로고
    • Discovering algebraic specifications from Java classes
    • J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In Proc. ECOOP, pages 431-456, 2003.
    • (2003) Proc. ECOOP , pp. 431-456
    • Henkel, J.1    Diwan, A.2
  • 6
    • 47349085292 scopus 로고    scopus 로고
    • Applying interface-contract mutation in regression testing of component-based software
    • S.-S. Hou, L. Zhang, T. Xie, H. Mei, and J.-S. Sun. Applying interface-contract mutation in regression testing of component-based software. In Proc. ICSM, pages 174-183, 2007.
    • (2007) Proc. ICSM , pp. 174-183
    • Hou, S.-S.1    Zhang, L.2    Xie, T.3    Mei, H.4    Sun, J.-S.5
  • 7
    • 60649109358 scopus 로고    scopus 로고
    • Assessing quality of policy properties in verification of access control policies
    • E. Martin, J. Hwang, T. Xie, and V. Hu. Assessing quality of policy properties in verification of access control policies. In Proc. ACSAC, pages 163-172, 2008.
    • (2008) Proc. ACSAC , pp. 163-172
    • Martin, E.1    Hwang, J.2    Xie, T.3    Hu, V.4
  • 8
    • 69949089998 scopus 로고    scopus 로고
    • Microsoft Pex development team
    • Microsoft Pex development team. Pex. http:// http://research.microsoft. com/Pex, 2008
    • (2008) Pex. http
  • 9
    • 32344453671 scopus 로고    scopus 로고
    • Parameterized unit tests
    • N. Tillmann and W. Schulte. Parameterized unit tests. In Proc. ESEC/FSE, pages 253-262, 2005.
    • (2005) Proc. ESEC/FSE , pp. 253-262
    • Tillmann, N.1    Schulte, W.2

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