DM-2: ModelBased and FitnessProportionateSelection strategies Strategies for DroidMate-2: A Platform for Android Test Generation. MOBILESoft '18 paper: Guiding app testing with mined interaction models