An API explorer for Play Applications