An experimental UI fuzzer based on the orangutan framework for Firefox OS devices