Putting assertions in their place

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 1994, Pages 152-157

  Voas, Jeffrey M ^a   Miller, Keith W ^a  

^a Cigital   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); ESTIMATION; FAILURE ANALYSIS; OBSERVABILITY; PROGRAM DEBUGGING; RELIABILITY; SENSITIVITY ANALYSIS; SPECIFICATIONS; TESTING;

ASSERTIONS; INSTRUMENTATION; SOFTWARE FAULTS;

COMPUTER SOFTWARE;

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

References (10)