Two-Step Model-Based Security Testing tool for Android Applications
See the Sources Folder.
A master thesis that led to the creation of VPatChecker is available on DiVA : Link to paper
A workshop paper introducing VPatChecker and DroidSecTester is being made, I will update the link here once it is available