Specification-based adaptive test case generation strategy for open operating system standards

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1995, Pages 81-89

  Watanabe, Aki ^a   Sakamura, Ken ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ERROR DETECTION; FINITE AUTOMATA; REAL TIME SYSTEMS; STANDARDIZATION;

OPEN OPERATING SYSTEM STANDARDS; SPECIFICATION BASED ADAPTIVE TEST CASE GENERATION; Z NOTATION;

COMPUTER OPERATING SYSTEMS;

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

References (22)