Report - Testing Android Apps Through Symbolic Executionmalek/publications/2012JPF.pdf · Java Virtual Machine (JVM). Thus, Android apps are compiled into Dalvik byte-code rather than Java

Please pass captcha verification before submit form