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]

@inproceedings{GoelRG13,
  title = {Identifying silent failures of SaaS services using finite state machine based invariant analysis},
  author = {Geetika Goel and Arpan Roy and Rajeshwari Ganesan},
  year = {2013},
  doi = {10.1109/ISSREW.2013.6688909},
  url = {http://dx.doi.org/10.1109/ISSREW.2013.6688909},
  researchr = {https://researchr.org/publication/GoelRG13},
  cites = {0},
  citedby = {0},
  pages = {290-295},
  booktitle = {IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings},
  publisher = {IEEE},
}