DocumentCode :
3084061
Title :
Proceedings 13th International Symposium on Software Reliability Engineering
fYear :
2002
fDate :
12-15 Nov. 2002
Keywords :
formal specification; formal verification; program testing; software maintenance; software reliability; failure detection; failure recovery; formal methods; high availability software maintenance; reliability modeling; reliability prediction; software mutation; software reliability engineering; software testing; system analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on
Conference_Location :
Annapolis, MD, USA
ISSN :
1071-9458
Print_ISBN :
0-7695-1763-3
Type :
conf
DOI :
10.1109/ISSRE.2002.1173204
Filename :
1173204
Link To Document :
بازگشت