An Empirical Study of Functional Bugs in Android Apps | Synapse