VPatChecker
Two-Step Model-Based Security Testing tool for Android Applications
Install / Use
/learn @Myshtea/VPatCheckerREADME
VPatChecker / DroidSecTester
Two-Step Model-Based Security Testing tool for Android Applications
Installation and usage guide
See the Sources Folder.
Project reports and linked papers
Master thesis
A master thesis that led to the creation of VPatChecker is available on DiVA : Link to paper
Workshop paper
A workshop paper introducing VPatChecker and DroidSecTester is available: DOI 10.1109/ISSREW60843.2023.00063
