software testing : a research travelogue ( 2000 - 2014 ) .
Dynodroid: an input generation system for Android apps