GitHub repository: zhangzhao4444/Stoat
Primary language: Python
Description: Stoat (STochastic model App Tester) - an automatic testing tool for android apps