메뉴 건너뛰기




Volumn 2675, Issue , 2003, Pages 161-169

Where do unit tests come from?

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

EID: 35248865662     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44870-5_21     Document Type: Article
Times cited : (8)

References (13)
  • 1
    • 0023984651 scopus 로고
    • X-Machines as a Basis for Dynamic System Specification
    • M. Holcombe: X-Machines as a Basis for Dynamic System Specification. Software Engineering Journal, 1988, Vol3, 69-76.
    • (1988) Software Engineering Journal , vol.3 , pp. 69-76
    • Holcombe, M.1
  • 6
    • 84944242060 scopus 로고    scopus 로고
    • An informal formal method for systematic Junit test case generation
    • D. Wells and L. Williams (Eds), XP/Agile Universe 2002
    • D. Stotts, M. Lindsey and A. Antley: An informal formal method for systematic Junit test case generation, in D. Wells and L. Williams (Eds), XP/Agile Universe 2002, LNCS 2418, 2002, 131-143.
    • (2002) LNCS , vol.2418 , pp. 131-143
    • Stotts, D.1    Lindsey, M.2    Antley, A.3
  • 7
    • 0017973244 scopus 로고
    • Testing Software Design Modeled by Finite State Machines
    • May
    • T. Sun Chow: Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering, May 1978, Vol.SE-4(3), 178-187.
    • (1978) IEEE Transactions on Software Engineering , vol.SE-4 , Issue.3 , pp. 178-187
    • Sun Chow, T.1
  • 9
    • 0029250968 scopus 로고
    • Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model
    • T. Ramalingam, A. Das and K. Thulasiraman: Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Computer Communications, 1995, Vol.18, 113-122.
    • (1995) Computer Communications , vol.18 , pp. 113-122
    • Ramalingam, T.1    Das, A.2    Thulasiraman, K.3
  • 12
    • 0012706512 scopus 로고    scopus 로고
    • A Structured Way to Use Channels for Communication in X-machine System
    • A. Cowling, H. Georgescu, C. Vertan: A Structured Way to Use Channels for Communication in X-machine System. Formal Aspects of Computing, 2000, Vol.12,458-500
    • (2000) Formal Aspects of Computing , vol.12 , pp. 458-500
    • Cowling, A.1    Georgescu, H.2    Vertan, C.3


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