Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences | IEEE Journals & Magazine | IEEE Xplore