Identifying silent failures of SaaS services using finite state machine based invariant analysis

Geetika Goel, Arpan Roy, Rajeshwari Ganesan. Identifying silent failures of SaaS services using finite state machine based invariant analysis. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings. pages 290-295, IEEE, 2013. [doi]

Abstract

Abstract is missing.