Kelevra is a simple command-line tool in Python which can be used for model-based testing. At the moment, Kelevra only has a test driver for Android's UIAutomator. You can write your own driver and use as a plugin to Kelevra.