Title :
Proceedings 13th International Symposium on Software Reliability Engineering
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;
Conference_Titel :
Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on
Conference_Location :
Annapolis, MD, USA
Print_ISBN :
0-7695-1763-3
DOI :
10.1109/ISSRE.2002.1173204