Test case design based on Z and the classification-tree method

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 81-90

  Singh, Harbhajan ^a   Conrad, Mirko ^a   Sadeghipour, Sadegh ^a  

^a DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ERROR CORRECTION; ERROR DETECTION; PROGRAM DEBUGGING; SOFTWARE ENGINEERING;

CLASSIFICATION TREE METHOD;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0031380319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)