DocumentCode
2662080
Title
Towards A Method Of Programming With Assertions
Author
Rosenblum, David S.
Author_Institution
AT&T Bell Laboratories
fYear
1992
fDate
1992
Firstpage
92
Lastpage
104
Keywords
Automatic testing; Embedded software; Fault detection; Formal specifications; Permission; Runtime; Software debugging; Software systems; Software testing; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1992. International Conference on
ISSN
0270-5257
Print_ISBN
0-89791-504-6
Type
conf
DOI
10.1109/ICSE.1992.753493
Filename
753493
Link To Document