FirVer: Concolic Testing for Systematic Validation of Firmware Binaries (Q131111396)
Appearance
scientific article published on 21 February 2022
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | FirVer: Concolic Testing for Systematic Validation of Firmware Binaries |
scientific article published on 21 February 2022 |
Statements
FirVer: Concolic Testing for Systematic Validation of Firmware Binaries (English)
Tashfia Alam
Zhenkun Yang
Bo Chen
Nicholas Armour
Sandip Ray
21 February 2022
352-357