Towards testing with respect to formal specification

IEE Conference Publication

Volumn , Issue 290, 1988, Pages 159-163

  Hall, P A V ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

DATA SELECTION; FORMAL SPECIFICATION; TEST CASE GENERATION; TEST DOMAIN ANALYSIS; TEST DOMAIN IDENTIFICATION; Z SPECIFICATION LANGUAGE;

COMPUTER SOFTWARE;

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

References (20)