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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2662080
بازگشت