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