Automata-Based Software Reliability Paradigm for Ubiquitous Systems Journal title: International Journal of Computer Science & Engineering Technology Authors: Ritika Wason , P. Ahmed , M. Qasim Rafiq Subject(s):