메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 559-568

Test prioritization using system models

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; REGRESSION ANALYSIS;

EID: 33646913289     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2005.87     Document Type: Conference Paper
Times cited : (104)

References (18)
  • 2
    • 0027262858 scopus 로고
    • Automatic functional test generation using the extended finite state machine model
    • K. Cheng, A. Krishnakumar, "Automatic Functional Test Generation Using The Extended Finite State Machine Model," Proc. ACM/IEEE Design Automation Conf., pp. 86-91, 1993.
    • (1993) Proc. ACM/IEEE Design Automation Conf. , pp. 86-91
    • Cheng, K.1    Krishnakumar, A.2
  • 4
    • 0000669640 scopus 로고
    • Automating the generation and sequencing of test case from model-based specification
    • J. Dick, A. Faivre, "Automating the Generation and Sequencing of Test Case from Model-Based Specification," Proc. International Symposium on Formal Methods, pp. 268-284, 1992.
    • (1992) Proc. International Symposium on Formal Methods , pp. 268-284
    • Dick, J.1    Faivre, A.2
  • 14
    • 0011783907 scopus 로고
    • Modification oriented software testing
    • B. Sherlund, B. Korel, "Modification Oriented Software Testing," Proc. Quality Week, pp. 1-17, 1991.
    • (1991) Proc. Quality Week , pp. 1-17
    • Sherlund, B.1    Korel, B.2


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