I read this file [1 Testing Android Apps T hrough Symbolic Execution]: http://mason.gmu.edu/~nesfaha2/Publications/JPF2012.pdf
They wrote:
We parse the app’s source code using MoDisco [19] and extract the app’s call graph model
I installed MoDisco but not sure what to do.
So my question is how can I to create this Call Graph Model? http://i.stack.imgur.com/KhBeR.png