FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. - Tashfia Alam; Zhenkun Yang; Bo Chen; Nicholas Armour; Sandip Ray (ASP-DAC, 2022)