Designing programs to check their work

Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA)

Volumn , Issue , 1993, Pages

  Blum, Manuel ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SCIENCE; COMPUTER SOFTWARE; ENGINEERS; ERROR CORRECTION; ERROR DETECTION; PROGRAM DEBUGGING;

CORRECTNESS CHECKS; PROGRAM CHECKER; PROGRAMMERS;

SOFTWARE ENGINEERING;

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

References (0)