DocumentCode
3384054
Title
Dynamic validation of programs using assertion checking facilities
Author
Chen, Wen-Tsuen ; Ho, Jone Ping ; Wen, Chia-Hsien
Author_Institution
National Tsing Hua University
fYear
1978
fDate
1978
Firstpage
533
Lastpage
538
Keywords
Computer errors; Debugging; Error correction; Guidelines; Large-scale systems; Printing; Process design; Program processors; Programming profession; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
Type
conf
DOI
10.1109/CMPSAC.1978.810479
Filename
810479
Link To Document