메뉴 건너뛰기




Volumn 2001-January, Issue , 2001, Pages 51-57

Automated regression testing of CTI-systems

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN FOR TESTABILITY; FORMAL VERIFICATION; LIFE CYCLE; SOFTWARE TESTING;

EID: 84949802209     PISSN: 15301877     EISSN: 15581780     Source Type: Conference Proceeding    
DOI: 10.1109/ETW.2001.946662     Document Type: Conference Paper
Times cited : (12)

References (11)
  • 4
    • 84931377781 scopus 로고    scopus 로고
    • Germany
    • Herakom GmbH, Germany, http://www.herakom.de.
    • Herakom GmbH
  • 7
    • 33646938183 scopus 로고    scopus 로고
    • An automated testing environment for CTI systems using concepts for specification and vérification of workflows
    • accepted for publication Int. Engineering Consortium, Chicago
    • O. Niese, T. Margaria, A. Hagerer, M. Nagelmann, B. Steffen, G. Brune, H.-D. Ide: An Automated Testing Environment for CTI Systems Using Concepts for Specification and Vérification of Workflows, accepted for publication in Annual Review of Communie, Vol. 54, Int. Engineering Consortium, Chicago, 2000.
    • (2000) Annual Review of Communie , vol.54
    • Niese, O.1    Margaria, T.2    Hagerer, A.3    Nagelmann, M.4    Steffen, B.5    Brune, G.6    Ide, H.-D.7
  • 10
    • 18944368378 scopus 로고    scopus 로고
    • Hierarchical service definition
    • Int. Engineering Consortium, Chicago
    • B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communie, Vol. 51, Int. Engineering Consortium, Chicago, 1997, pp. 847-856.
    • (1997) Annual Review of Communie , vol.51 , pp. 847-856
    • Steffen, B.1    Margaria, T.2    Braun, V.3    Kalt, N.4


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