The following topics are dealt with: fault injection; software quality prediction; program analysis; program verification; software reliability; security; software testing; formal modeling; user authentication; race condition and software fault localization.
Publisher :
ieee
Conference_Titel :
Software Quality, Reliability and Security (QRS), 2015 IEEE International Conference on
