End-to-End Concolic Testing for Hardware/Software Co-Validation.

Bo Chen Kai Cong Zhenkun Yang Qin Wang Jialu Wang Li Lei Fei Xie

Published in: ICESS (2019)

Keyphrases

end to end
hardware software
hardware and software
hw sw
embedded systems
multi core processors
high performance computing
design methodology
wireless ad hoc networks
congestion control
ad hoc networks
hardware design
multipath
low cost
service delivery