Testing the Message Flow of Android Auto Apps | IEEE Conference Publication | IEEE Xplore