Abstract :
The following topics are dealt with: software reliability; reliability modeling; runtime monitoring; runtime verification; runtime profiling; program testing; defect prediction; failure prediction; security; safety; fault localization; behavioral compliance checking; and formal specifications.
Keywords :
fault diagnosis; formal specification; formal verification; security of data; software reliability; system monitoring; behavioral compliance checking; defect prediction; failure prediction; fault localization; formal specifications; program testing; reliability modeling; runtime monitoring; runtime profiling; runtime verification; safety; security; software reliability;
Conference_Titel :
Software Reliability Engineering, 2009. ISSRE '09. 20th International Symposium on
Conference_Location :
Mysuru, Karnataka
Print_ISBN :
978-1-4244-5375-7
DOI :
10.1109/ISSRE.2009.1
