메뉴 건너뛰기




Volumn , Issue , 2008, Pages 407-410

DiffGen: Automated regression unit-test generation

Author keywords

[No Author keywords available]

Indexed keywords

JAVA CLASSES; JAVA PROGRAMS; LIFE-TIMES; SOFTWARE DEVELOPMENTS; SOFTWARE PROGRAMS; TEST GENERATIONS; TEST INPUTS;

EID: 56249111366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.60     Document Type: Conference Paper
Times cited : (83)

References (15)
  • 1
    • 37849053746 scopus 로고    scopus 로고
    • Differential testing: A new approach to change detection
    • R. B. Evans and A. Savoia, "Differential testing: a new approach to change detection," in Proc. FSE, 2007, pp. 549-552.
    • (2007) Proc. FSE , pp. 549-552
    • Evans, R.B.1    Savoia, A.2
  • 3
    • 0026901308 scopus 로고    scopus 로고
    • J. M. Voas, PIE: A dynamic failure-based technique, TSE, 18, no. 8, pp. 717-727, 1992.
    • J. M. Voas, "PIE: A dynamic failure-based technique," TSE, vol. 18, no. 8, pp. 717-727, 1992.
  • 4
    • 33746654201 scopus 로고    scopus 로고
    • Augmenting automatically generated unit-test suites with regression oracle checking
    • T. Xie, "Augmenting automatically generated unit-test suites with regression oracle checking," in Proc. ECOOP, 2006, pp. 380-403.
    • (2006) Proc. ECOOP , pp. 380-403
    • Xie, T.1
  • 5
    • 32344453671 scopus 로고    scopus 로고
    • Parameterized, unit tests
    • N. Tillmann and W. Schulte, "Parameterized, unit tests," in Proc. ESEC/FSE, 2005, pp. 253-262.
    • (2005) Proc. ESEC/FSE , pp. 253-262
    • Tillmann, N.1    Schulte, W.2
  • 6
    • 34247326075 scopus 로고    scopus 로고
    • From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing
    • M. Boshernitsan, R. Doong, and A. Savoia, "From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing," in Proc. ISSTA, 2006, pp. 169-180.
    • (2006) Proc. ISSTA , pp. 169-180
    • Boshernitsan, M.1    Doong, R.2    Savoia, A.3
  • 7
    • 56249092346 scopus 로고    scopus 로고
    • Towards a framework, for differential unit testing of object-oriented programs
    • T. Xie, K. Taneja, S. Kale, and D. Marinov, "Towards a framework, for differential unit testing of object-oriented programs." in Proc. AST, 2007, pp. 5-11.
    • (2007) Proc. AST , pp. 5-11
    • Xie, T.1    Taneja, K.2    Kale, S.3    Marinov, D.4
  • 8
    • 84944242060 scopus 로고    scopus 로고
    • An informal formal method for systematic JUnit test case generation
    • D. Stotts, M. Lindsey, and A. Antley, "An informal formal method for systematic JUnit test case generation," in Proc. XP/Agile Universe, 2002, pp. 131-143.
    • (2002) Proc. XP/Agile Universe , pp. 131-143
    • Stotts, D.1    Lindsey, M.2    Antley, A.3
  • 9
    • 35248822793 scopus 로고    scopus 로고
    • Discovering algebraic specifications from Java classes
    • J. Henkel and A. Diwan, "Discovering algebraic specifications from Java classes," in Proc. ECOOP, 2003, pp. 431-456.
    • (2003) Proc. ECOOP , pp. 431-456
    • Henkel, J.1    Diwan, A.2
  • 10
  • 11
    • 33746601687 scopus 로고    scopus 로고
    • Parasoft Jtest manuals version 4.5
    • Online manual
    • "Parasoft Jtest manuals version 4.5," Online manual, 2003, http://www.parasoft.com/.
    • (2003)
  • 12
    • 0036980185 scopus 로고    scopus 로고
    • Korat: Automated testing based on Java predicates
    • C. Boyapati, S. Khurshid, and D. Marinov, "Korat: automated testing based on Java predicates," in Proc. ISSTA, 2002, pp. 123-133.
    • (2002) Proc. ISSTA , pp. 123-133
    • Boyapati, C.1    Khurshid, S.2    Marinov, D.3
  • 13
    • 20844460416 scopus 로고    scopus 로고
    • MuJava: An automated class mutation system: Research articles
    • Y.-S. Ma, J. Offutt, and Y. R. Kwon, "MuJava: an automated class mutation system: Research articles," Softw. Test. Verif Reliab., vol. 15, no. 2, pp. 97-133, 2005.
    • (2005) Softw. Test. Verif Reliab , vol.15 , Issue.2 , pp. 97-133
    • Ma, Y.-S.1    Offutt, J.2    Kwon, Y.R.3
  • 14
    • 26044480846 scopus 로고    scopus 로고
    • Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
    • H. Do, S. G. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact." Empirical Software Engineering: An International Journal, vol. 10, no. 4, pp. 405-435, 2005.
    • (2005) Empirical Software Engineering: An International Journal , vol.10 , Issue.4 , pp. 405-435
    • Do, H.1    Elbaum, S.G.2    Rothermel, G.3
  • 15
    • 56249137472 scopus 로고    scopus 로고
    • "JTopas website," 2006, http://jtopas.sou.rceforge.net/jtopas/.
    • (2006) JTopas website


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