1. Fortify Source Code Analyzer 2015. http://www8.hp.com/us/en/softwaresolutions/static-code-analysis-sast/. Fortify Source Code Analyzer 2015. http://www8.hp.com/us/en/softwaresolutions/static-code-analysis-sast/.
2. IBM Security AppScan Source 2015. http://www.ibm.com/software/products/en/appscansource. IBM Security AppScan Source 2015. http://www.ibm.com/software/products/en/appscansource.
3. MobiGUITAR: Automated Model-Based Testing of Mobile Apps
4. Automated concolic testing of smartphone apps
5. FlowDroid