FirVer: Concolic Testing for Systematic Validation of Firmware Binaries.

Tashfia Alam Zhenkun Yang Bo Chen Nicholas Armour Sandip Ray

Published in: ASP-DAC (2022)

Keyphrases

source code
data sets
operating system
control flow
power consumption
software testing
qualitative and quantitative
computer systems
databases
test cases
input output
computer vision
open source software
test suite
genetic algorithm
neural network
model based testing