Test class framework for generating test cases from Z specifications

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2000, Pages 164-171

  Miao, Huaikou ^a   Liu, Ling ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER TESTING; SOFTWARE ENGINEERING;

SPECIFICATION-BASED TESTING;

OBJECT ORIENTED PROGRAMMING;

EID: 0033680664     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (9)