Abstract :
The following topics are dealt with: software testing; software validation; verification; distributed systems; model checking; safety-critical systems; ocean systems; reliability; monitoring; bugs; fault localization; security; and privacy.
Keywords :
data privacy; distributed processing; monitoring; program debugging; program testing; program verification; safety-critical software; security of data; bugs; distributed systems; fault localization; model checking; monitoring; ocean systems; privacy; reliability; safety-critical systems; security; software testing; software validation; verification;
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
Conference_Location :
Boca Raton, FL
Print_ISBN :
978-1-4673-0107-7
DOI :
10.1109/HASE.2011.71
